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

by Semantics