1. Chandra, A.K., D. Kozen, and L. J. Stockmeyer, “Alternation”, J. Assoc. Comput. Mach.
28 (1981), 114–133.
2. Drusinsky, D. and D. Harel, “On the Power of Bounded Concurrency I: The Finite Automata Level”, submitted, 1989. (Preliminary version appeared as: “On the Power of Cooperative Concurrency”, Proc. Concurrency '88, Lecture Notes in Computer Science 335, Springer-Verlag, New York, 1988, pp. 74–103.)
3. Harel, D., “Statecharts: A Visual Formalism for Complex Systems”, Sci. of Comput. Prog.
8 (1987), 231–274.
4. Harel, D., “On Visual Formalisms”, Comm. Assoc. Comput. Mach.
31 (1988), 514–530.
5. Harel, D., “A Thesis for Bounded Concurrency”, Proc. 14th Symp. on Math. Found. of Comput. Sci., Lecture Notes in Computer Science, Vol. 379, Springer-Verlag, New York, 1989, pp. 35–48.