Carl Hewitt Peter Bishop Richard Steiger Irene Greif Brian Cantwell Smith Todd Matson Roger Hale Behavioral semantics of nonrecursive control structures. 385-407 1974 conf/programm/1974 Symposium on Programming db/conf/programm/programm1974.html#HewittBSGSMH74