Local Variables and Non-Interference in Algol-like Languages.

Robert D. Tennent Local Variables and Non-Interference in Algol-like Languages. 34-36 1991 conf/ctcs/1991 Category Theory and Computer Science db/conf/ctcs/ctcs1991.html#Tennent91