1. Realizable and unrealizable specifications of reactive systems;ABADI,1989
2. Algorithms for sliding block codes. An application of symbolic dynamics to information theory;ADLER;IEEE Trans. Inform. Theory,1983
3. Topological entropy and equivalence of dynamical systems;ADLER;Mem. Amer. Math. Soc.,1979
4. A.V.AHO,J.E. HOPCROFT AND J. D. ULLMAN, The design and analysis of computer algorithms, Addison-Wesley Publishing Co., Reading, Mass.-London-Amsterdam, 1975. Second printing, Addison-Wesley Series in Computer Science and Information Processing.
5. 11-formulae on finite structures;AJTAI;Ann. Pure Appl. Logic,1983