Control flow semantics

Jacobus W. de Bakker, Erik P. de Vink. Control flow semantics. MIT Press, 1996.

Abstract

Abstract is missing.