Control Flow Semantics. Foundations of Computing Series. (1996)

by Jaco W de Bakker, Erik P de Vink