Mandrioli, Dino. <br/><br/>
Theoretical foundations of computer science / 
Dino Mandrioli, Carlo Ghezzi. 
 - New York :  Wiley,  c1987. 
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 459-469. 
<br/><br/><label>ISBN: </label>0471838349 
<br/><br/><label>LCCN: </label>87002118 //r89 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics.<br/>Computer science -- Mathematics.--Computer science -- Mathematics.
<br/><br/><label>LC Class. No.: </label>QA39.2  / .M336 1987 
<br/><br/><label>Dewey Class. No.: </label>004/.01