1. Asperti, A., Longo, G.: Categories, Types and Structures - An Introduction to Category Theory for the Working Computer Scientist. The MIT Press, Cambridge (1991)
2. Bird, R., de Moor, O.: Algebra of Programming. Prentice Hall, Europe (1997)
3. Cardelli, L.: Type Systems. Handbook of Computer Science and Engineering, pp. 2208-2236. A.B. Tucker, CRC Press (1997)
4. Cardelli, L., Wegner, P.: On Understanding Types, Data Abstraction, and Polymorphism. ACM Computing Surveys 17(4), 471–522 (1985)
5. Church, R.L., Gerrard, R.A., et al.: Constructing Cell-Based Habitat Patches Useful in Conservation Planning. Annals of the Association of American Geographers 93(4), 814–827 (2003)