storeless semantics for ALGOL-style block structure and call-by-name (1986)

by S Kamal Abdali, David S Standard Wise
Venue:Mathematical Foundations of Programming Semantics