| 1992 | ||
|---|---|---|
| 3 | A. John Power, Charles Wells: A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. Mathematical Structures in Computer Science 2(1): 1-28 (1992) | |
| 1990 | ||
| 2 | Charles Wells: A Generalization of the Concept of Sketch. Theor. Comput. Sci. 70(1): 159-178 (1990) | |
| 1987 | ||
| 1 | Charles Wells, Michael Barr: The Formal Description of Data Types Using Sketches. MFPS 1987: 490-527 | |
| 1 | Michael Barr | [1] |
| 2 | John Power (A. John Power) | [3] |