Algol-like Languages (Two volumes (1997)

by P W O’Hearn, R D Tennent