Jacobus W. de Bakker, Erik P. de Vink. Control flow semantics. MIT Press, 1996.
@book{0083545,
title = {Control flow semantics},
author = {Jacobus W. de Bakker and Erik P. de Vink},
year = {1996},
tags = {semantics, data-flow},
researchr = {https://researchr.org/publication/0083545},
cites = {0},
citedby = {0},
publisher = {MIT Press},
isbn = {978-0-262-04154-6},
}