Title: Symbol manipulation languages and techniques. Proceedings of the IFIP Working Conference on Symbol Manipulation Languages