A calculus for higher order procedures with global variables (1993)

by W Stephan, A Wolpers
Venue:Proc., MFCS '93, Springer LNCS 711