Hoefnagel, M., Jacqmin, P.-A. Matrix Taxonomy and Bourn Localization, Applied Categorical Structures, 30 (6), pp. 1305-1340.