A Primer of Algol 60 Programming - Dijkstra E.W (Academic Press, 1962)