John C. Cherniavsky John Keohane Peter B. Henderson A Note Concerning Top Down Program Development and Restricted Exit Control Structures. 8-12 1979 9 Inf. Process. Lett. 1 db/journals/ipl/ipl9.html#CherniavskyKH79