Implementation, and Pragmatics of Clear, a Program Specification Language (1982)

by Semantics