Implementation and Pragmatics of CLEAR, a Program Speci Language (1982)

by Semantics