Control Flow Semantics. Foundations of Computing Series (1996)

by J W de Bakker, E de Vink