Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (1967). "One-Way Stack Automata". J. ACM. 14: 389–418. doi:10.1145/321386.321403.
Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (1967). "Stack Automata and Compiling". J. ACM. 14: 172–201. doi:10.1145/321371.321385.
Seymour Ginsburg; Michael A. Harrison (1967). "Bracketed Context-Free Languages". J. Comput. Syst. Sci. 1: 1–23. doi:10.1016/s0022-0000(67)80003-5.
Jim Gray; Michael A. Harrison; Oscar H. Ibarra (1967). "Two-Way Pushdown Automata". Information and Control. 11: 30–70. doi:10.1016/s0019-9958(67)90369-5.
Hervé Gallaire; Jim Gray; Michael A. Harrison; Gabor T. Herman (1968). "Infinite Linear Sequential Machines". J. Comput. Syst. Sci. 2: 381–419. doi:10.1016/s0022-0000(68)80035-2.
Michael A. Harrison; Oscar H. Ibarra (1968). "Multi-Tape and Multi-Head Pushdown Automata". Information and Control. 13: 433–470. doi:10.1016/s0019-9958(68)90901-7.
Seymour Ginsburg; Michael A. Harrison (1968). "One-Way Nondeterministic Real-Time List-Storage Languages". J. ACM. 15: 428–446. doi:10.1145/321466.321475.
Seymour Ginsburg; Michael A. Harrison (1968). "On the Elimination of Endmarkers". Information and Control. 12: 103–115. doi:10.1016/s0019-9958(68)90221-0.
Seymour Ginsburg; Michael A. Harrison (1970). "On the Closure of AFL under Reversal". Information and Control. 17: 395–409. doi:10.1016/s0019-9958(70)80035-3.