Representing a logic in the LCF metalanguage (1982)

by Michael Gordon
Venue:Tools and Notions for Program Construction