Email Record: An application of FORMAC to the computation of coverage functions /