B 129.855 L 

H i r s c h b erg, D. [Hrsg.] 

s. Comnuter-nrogramming and formal syst 
ms. 

3. print. 1970.