The essence of Algol. In Algorithmic Languages, edited by de Bakker and (1981)

by J C Reynolds