Programming in POP-2 - Burstall, Rod M.; Collins, John Stuart; Popplestone, R. J. (Edinburgh : University Press, 1971)