@book{P-4453,
author="Oman, S. D.",
title="An Application of FORMAC to the Computation of Coverage Functions.",
address="Santa Monica, CA",
year="1970",
doi="",
publisher="RAND Corporation"
}