Describir: Symbol manipulation languages and techniques. Proc. of the IFIP working conference ... /