Title: Semantics, implementation and pragmatics of clear, a program specification language
Subjects: Clear (Computer program language)