1. Recognizing safety and liveness;ALPERN;Distributed Comput.,1987
2. A syntactic congruence for rational ω-languages;ARNOLD;Theoret. Comput. Sci.,1985
3. Logical definability of fixed points;ARNOLD;Theoret. Comput. Sci.,1988
4. Formal computations of nondeterministic recursive program schemes;ARNOLD;Math. Systems Theory,1980
5. Transductions and Context-Free Languages;BERSTEL,1979