Complete Operator Precedence. - Michael R. Levy (Inf. Process. Lett., 1975)

An Extended Operator Precedence Parsing Algorithm. - D. S. Henderson; Michael R. Levy (Comput. J., 1976)

Some remarks on abstract data types. - Michael R. Levy (ACM SIGPLAN Notices, 1977)

Modularity and the Sequential File Update Problem. - Michael R. Levy (Commun. ACM, 1982)

Continuous Data Types. - Michael R. Levy; T. S. E. Maibaum (SIAM J. Comput., 1982)

Type checking, separate compilation and reusability. - Michael R. Levy (SIGPLAN Symposium on Compiler Construction, 1984)

Correctness of an Extended Operator-Precedence Parsing Algorithm. - R. Nigel Horspool; Michael R. Levy (Inf. Process. Lett., 1987)

Mkscan - A Interactive Scanner Generator. - R. Nigel Horspool; Michael R. Levy (Softw. Pract. Exp., 1987)

Type Checking in the Large. - Michael R. Levy (CC, 1988)

Compositional Operational Semantics for Prolog Programs. - Mantis H. M. Cheng; R. Nigel Horspool; Michael R. Levy; M. H. van Emden (New Gener. Comput., 1992)

Translator-based multiparadigm programming. - R. Nigel Horspool; Michael R. Levy (J. Syst. Softw., 1993)

Proposal for a Foreign Language Interface to Prolog. - Michael R. Levy (LPE, 1995)

Expeditious XML Processing. - Kelvin Yeow; R. Nigel Horspool; Michael R. Levy (IDEAL, 2002)