* Michael Barr and Charles Wells, [Category theory for computing science (1998)](http://bit.ly/37y54Tb)
* Michael Barr and Charles Wells, [Toposes, triples and theories (1985, 2005)](http://bit.ly/39MvdiD)