Gregor von Bochmann: Semantic equivalence of covering attribute grammars. Int. J. Parallel Program. 8(6): 523-539 (1979)