Control flow semantics - Bakker, J. W. de 1939- (MIT Press, 1996)