Control flow semantics (1996)

by J de Bakker, E de Vink