Control flow semantics - Bakker, J. W. de 1939- (Foundations of computing, 1996)