B 129.855 11./ 

Computer-programming systems formal.-Computer 
Programming and formal systems. Ed. by 

P. Braffort and D. Hirschberg. [Mit Diagr.J(3.-print.)-Amsterdam [usw.6:North Holland 
Publ. Co. 1970. VI, 161 S. 8 
(Studies in logic and the foundations of 
mathematics.)