1. Heterogeneous algebras;Birkhoff;J. Combinatorial Theory,1970
2. Contributions to compiler correctness;Chirica,1976
3. An order-algebraic definition of Knuthian semantics;Chirica;Math. Systems Theory,1979
4. An axiomatic approach to the Korenjak-Hopcroft algorithms;Courcelle,1980
5. On the equivalence problem for attribute systems;Courcelle,1980