Semantics, implementation and pragmatics of clear, a program specification language
By: by Donald Theodore Sannella.
Published: 1982
Language: eng
Number of pages: 286
Subjects: Clear (Computer program language)
Notes: Thesis (Ph. D.) -- Edinburgh University, 1982