A Note Concerning Top Down Program Development and Restricted Exit Control Structures. - John C. Cherniavsky; John Keohane; Peter B. Henderson (Inf. Process. Lett., 1979)

On Transforming Control Structures. - John Keohane; John C. Cherniavsky; Peter B. Henderson (SIAM J. Comput., 1982)