Bruno Courcelle An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars. [Citation Graph (1, 0)][DBLP] Theor. Comput. Sci., 1987, v:55, n:2-3, pp:141-181 [Journal]
Franz-Josef Brandenburg Representations of Language Families by Homomorphic Equality Operations and Generalized Equality Sets. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1987, v:55, n:2-3, pp:183-263 [Journal]
Miklós Bartha An Equational Axiomatization of Systolic Systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1987, v:55, n:2-3, pp:265-289 [Journal]