Algol-like Languages (1997)

by P W O’Hearn, R Tennent