ALGOL 68 as a metalanguage for denotational semantics (1979)

by F G Pagan
Venue:Computer Journal