@book{cfs96,
  author = {Bakker, J.W. de and Vink, E.P. de},
  title = {Control Flow Semantics},
  series = {Foundations of Computing Series},
  publisher = {The MIT Press},
  year = {1996}
}