Informationsverarbeitung B 129.856 IV 

Symbol-manipulation-Ianguages symbol-manipulation-
technigues.-Symbol Manipulation Languages 
and Techniques. Proceedings of the IFIP 
Working Conference on Symbol Manipulation 
Langua~es. Ed. by Daniel G. Bobrow. [MitFig.] t2. print.)-Amsterdam-[usw.]: North 
Holland Publ. Comp. 1971. X, 487 S. 8