Carl Hewitt, Peter Bishop, Richard Steiger, Irene Greif, Brian Cantwell Smith, Todd Matson, Roger Hale. Behavioral semantics of nonrecursive control structures. In Bernard Robinet, editor, Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974. Volume 19 of Lecture Notes in Computer Science, pages 385-407, Springer, 1974.
Abstract is missing.