Centralizers of transitive semigroup actions and endomorphisms of trees, Pacific

Journal of Mathematics 64 (1976), 165-271.

A Krohn-Rhodes Theorem for categories, Journal of Algebra 64 (1980), 37-45.

A triple in Cat, Proceedings of the Edinburgh Mathematical Society 23 (1980), 261-

268.

The formal description of data types using sketches (with Michael Barr). In M. Main
et al, ed., Mathematical Foundations of Programming Language Semantics. Lecture
Notes in Computer Science 298. Springer-Verlag (1988).

Wreath product decomposition of categories I and II. Acta Sci. Math. Szeged 52
(1988), 307-319 and 321-324.

A formalism for the specification of essentially-algebraic structures in 2-categories

(with A. J. Power). Mathematical Structures in Computer Science 2 (1992), 1-28.