Specifying ADA semantics in HOS.
Series: Technical report -- 34
Publisher: Higher Order Software
Published: 1982
Place of publication: Cambridge, Mass
Language: eng