"Braffort, P" <br/><br/>
Computer Programming and Formal System 

 - \\197000ENGGPSX 
 - North Holland Publishing  1970  London 
 - v+161p 
<br/><br/> includes index and biblioraphy