Correctness of procedure representations in higher-order assembly language (1992)

by M Wand
Venue:Proceedings of the Conference on the Mathematical Foundations of Programing Semantics, Lecture Notes in Computer Science, 598