5 Definelang: A Language with Global Variables | part of An Experiential Introduction to Principles of Programming Languages | MIT Press books | IEEE Xplore