Book

Control flow semantics

by J. W. de Bakker