A Primer of ALGOL 60 Programming - E.W Dijkstra (Academic press, 1978)