Control flow semantics - Bakker, Jaco de (Foundations of computing series, 1996)