Title: An application of FORMAC to the computation of coverage functions
Subjects: Weapons systems, FORMAC (Computer program language)