Hartmut Ehrig, Michael Löwe Categorical principles, techniques and results for high-level-replacement systems in computer science. [Citation Graph (0, 0)][DBLP] Applied Categorical Structures, 1993, v:1, n:1, pp:21-50 [Journal]
L. D. Nel Differential calculus founded on an isomorphism. [Citation Graph (0, 0)][DBLP] Applied Categorical Structures, 1993, v:1, n:1, pp:51-57 [Journal]
G. M. Kelly, Stephen Lack Finite-product-preserving functors, Kan extensions, and strongly-finitary 2-monads. [Citation Graph (0, 0)][DBLP] Applied Categorical Structures, 1993, v:1, n:1, pp:85-94 [Journal]