The Semantics of Re Proof (1990)

by Stuart F Allen, Robert L Constable, Douglas J Howe, William Aitken
Venue:In Proceedings of the Fifth Symposium on Logic in Computer Science