An overview of the Poly programming language - Matthews, David C. (Computer Laboratory <Cambridge>: Technical report, 1986)