Author: IFIP Working Conference on Symbol Manipulation Languages (1966 Pisa)