Semantics, implementation and pragmatics of Clear, a program specification language.
Series: Thesis -- CST-17-82
Publisher: Dept. of Computer Science, Univ. of Edinburgh
Published: 1982
Place of publication: Edinburgh
Language: eng
Number of pages: 286