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

by Mitchell Wand
Venue:Mathematical Foundations of Programming Semantics, number 598 in Lecture Notes in Computer Science