On the Orthogonality of Assignments and Procedures in Algol.

Stephen Weeks Matthias Felleisen On the Orthogonality of Assignments and Procedures in Algol. 57-70 1993 POPL db/conf/popl/popl93.html#WeeksF93