Pitt, David H. The derivation of conformance tests from LOTUS specifications Subjects--Topical Terms: Software LotusComputers