TY  - SER
AU  - Pitt, David H.
AU  - Freestone, David
TI  - The Derivation of Con Formance Tests from Lotos Specifications
KW  - Lotos
KW  - Canonical Trans Form
KW  - CoInformation
ER  -