Barr, Michael <br/><br/>
Toposes, Triples and Theories 
Michael Barr 
 - New York, Berlin, Heidelberg  Springer  1985