TY - BOOK AU - Bakker, J. W AU - Vink,Erik de TI - Control flow semantics SN - 0262041545 (hc) PY - 1996/// CY - Cambridge, MA PB - The MIT Press KW - Programming languages (Electronic computers) KW - Semantics N1 - Includes bibliographical references (p. [543]-556) and indexes ER -