Bruno Courcelle Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1986, v:42, n:, pp:1-122 [Journal]
Martin Wirsing Structured Algebraic Specifications: A Kernel Language. [Citation Graph (3, 0)][DBLP] Theor. Comput. Sci., 1986, v:42, n:, pp:123-249 [Journal]