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

by D Semantics Sannella