n Introduction to Symbolic Programming - Wegner, Peter (Charles Griffin &Company Ltd., 1963)