ACM - affordances
Patrick Bahr
Laurence E. Day
Polynomial-time inverse computation for accumulative functions with multiple data traversals
Attribute grammar paradigms—a high-level methodology in language implementation
Equivalence of finite-valued tree transducers is decidable
Data types à la carte
Transformations and translations from the point of view of generalized finite automata theory
beyond words, Springer-Verlag New York, Inc