Braffort, P Ed Hirschberg D Ed <br/><br/>
Computer programming and formal systems 

 - London  Heeinemann  1971 
 - 244