Categgories for types - Crole, Roy L. (Cambridge University Press, 1993)