A. John Power An Algebraic Formulation for Data Refinement. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:390-401 [Conf]

Marco Kick, A. John Power Modularity of Behaviours for Mathematical Operational Semantics. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:185-200 [Journal]

A. John Power, Charles Wells A Formalism for the Specification of Essentially Algebraic Structures in 2-Categories. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1992, v:2, n:1, pp:1-28 [Journal]