Algol-Like Languages by R.D. Tennent, Peter O'Hearn & Robert Tennent