Denotational semantics as a programming language (1982)

by D A Schmidt