Programming, transforming, and proving with function abstractions and memories (1989)

by Mason, C L Talcott
Venue:In Proceedings of the 16th EATCS Colloquium on Automata, Languages, and Programming, Stresa, Volume 372 of Lecture Notes in Computer Science