TY  - BOOK
AU  - Xavier Caicedo; Carlos H. Montenegro
TI  - Models, Algebras, and Proofs
SN  - 9780429332890
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9780429332890
ER  -