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