Xavier Caicedo; Carlos H. Montenegro <br/><br/>
Models, Algebras, and Proofs 

 -  Taylor and Francis  1998 
<br/><br/><label>ISBN: </label>9780429332890 
<br/><br/><label>Source: </label>EBOOK