The semantics of re proof (1990)

by S F Allen, R L Constable, D J Howe, W B Aitken
Venue:In Proceedings of the Fifth Annual Symposium on Logic and Computer Science