Beth, E. W. <br/><br/>
Formal Methods 

 - Dordrecht  D.Reidel Pub.Co.  1962