Programming in POP-2 - Burstall, R.M (Edinburgh University press, 1971)