An overview of the Poly programming language - Matthews, David C. (1986)