J. Koistinen, N. Klarlund, and M. I. Schwartzbach, “Design Architectures through Category Constraints”, BRICS, vol. 2, no. 17, Jan. 1995.