Title: Semantics, implementation and pragmatics of Clear, a program specification language
First published: 1982