Barry K. Rosen Applications of High-Level Control Flow. 38-47 1977 POPL db/conf/popl/popl77.html#Rosen77 POPL/00001429.PDF