Categories for types /
Crole, Roy L.
Cambridge : Cambridge University Press,
1993.