1. Proc. 25th Annu. Conf. ACM;Kerschenbaum
2. An algorithm for equivalence declarations;Arden;Commun. Assoc. Comput. Mach.,1961
3. An improved equivalence algorithm;Galler;Commun. Assoc. Comput. Mach.,1964
4. Property grammars and table machines;Stearns;Inf. Contr.,1969