The extraction of heuristic information from a special class of state space representations. - M. Ronan Sleep (1975)

Uniform Random Generation of Balanced Parenthesis Strings. - D. B. Arnold; M. Ronan Sleep (ACM Trans. Program. Lang. Syst., 1980)

Executing functional programs on a virtual tree of processors. - F. Warren Burton; M. Ronan Sleep (FPCA, 1981)

Applicative caching: Programmer control of object sharing and lifetime in. distributed implementations of applicative languages. - Robert M. Keller; M. Ronan Sleep (FPCA, 1981)

Towards a Zero Assignment Parallel Processor. - M. Ronan Sleep; F. Warren Burton (ICDCS, 1981)

Applicative Objects as Processes. - Richard Kennaway; M. Ronan Sleep (ICDCS, 1982)

Parallel implementation of functional languages. - Richard Kennaway; M. Ronan Sleep (ICPP, 1982)

Expressions as Processes. - Richard Kennaway; M. Ronan Sleep (Symposium on LISP and Functional Programming, 1982)

Syntax and informal semantics of DyNe, a parallel language. - Richard Kennaway; M. Ronan Sleep (The Analysis of Concurrent Systems, 1983)

Novel architectures for declarative languages. - J. Richard Kennaway; M. Ronan Sleep (Softw. Microsystems, 1983)

Applicative Caching. - Robert M. Keller; M. Ronan Sleep (ACM Trans. Program. Lang. Syst., 1986)

Term Graph Rewriting. - Hendrik Pieter Barendregt; Marko C. J. D. van Eekelen; John R. W. Glauert; Richard Kennaway; Marinus J. Plasmeijer; M. Ronan Sleep (PARLE (2), 1987)

Towards an Intermediate Language based on Graph Rewriting. - Hendrik Pieter Barendregt; Marko C. J. D. van Eekelen; John R. W. Glauert; Richard Kennaway; Marinus J. Plasmeijer; M. Ronan Sleep (PARLE (2), 1987)

Transputer-Based Experiments with the ZAPP Architecture. - D. L. McBurney; M. Ronan Sleep (PARLE (1), 1987)

Variable Abstraction in O(n log n) Space. - Richard Kennaway; M. Ronan Sleep (Inf. Process. Lett., 1987)

Needed Reduction and Spine Strategies for the Lambda Calculus - Hendrik Pieter Barendregt; Richard Kennaway; Jan Willem Klop; M. Ronan Sleep (Inf. Comput., 1987)

Transputers + virtual tree kernel = real speedups. - D. L. McBurney; M. Ronan Sleep (C³P, 1988)

Director Strings as Combinators. - Richard Kennaway; M. Ronan Sleep (ACM Trans. Program. Lang. Syst., 1988)

Graph Rewriting as a Computational Model. - D. L. McBurney; M. Ronan Sleep (Concurrency: Theory, Language, And Architecture, 1989)

LEAN: an intermediate language based on graph rewriting. - Hendrik Pieter Barendregt; Marko C. J. D. van Eekelen; Marinus J. Plasmeijer; John R. W. Glauert; Richard Kennaway; M. Ronan Sleep (Parallel Comput., 1989)

Dactl: An Experimental Graph Rewriting Language. - John R. W. Glauert; Richard Kennaway; M. Ronan Sleep (Graph-Grammars and Their Application to Computer Science, 1990)

Applications of Graph Grammars and Directions for Research. - M. Ronan Sleep (Graph-Grammars and Their Application to Computer Science, 1990)

Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). - Richard Kennaway; Jan Willem Klop; M. Ronan Sleep; Fer-Jan de Vries (RTA, 1991)

Syntactic Definitions of Undefined: On Defining the Undefined. - Zena M. Ariola; Richard Kennaway; Jan Willem Klop; M. Ronan Sleep; Fer-Jan de Vries (TACS, 1994)

On the Adequacy of Graph Rewriting for Simulating Term Rewriting. - Richard Kennaway; Jan Willem Klop; M. Ronan Sleep; Fer-Jan de Vries (ACM Trans. Program. Lang. Syst., 1994)

Transformation of Orthogonal Term Rewriting Systems. - Sugwoo Byun; Richard Kennaway; M. Ronan Sleep (ASIAN, 1995)

Infinitary Lambda Calculi and Böhm Models. - Richard Kennaway; Jan Willem Klop; M. Ronan Sleep; Fer-Jan de Vries (RTA, 1995)

SEMAGRAPH: the theory and practice of term graph rewriting. - M. Ronan Sleep (SEGRAGRA, 1995)

Transfinite Reductions in Orthogonal Term Rewriting Systems - Richard Kennaway; Jan Willem Klop; M. Ronan Sleep; Fer-Jan de Vries (Inf. Comput., 1995)

Lambda-Definable Term rewriting Systems. - Sugwoo Byun; Richard Kennaway; M. Ronan Sleep (ASIAN, 1996)

Comparing Curried and Uncurried Rewriting. - Richard Kennaway; Jan Willem Klop; M. Ronan Sleep; Fer-Jan de Vries (J. Symb. Comput., 1996)

Dactl: an experimental graph rewriting language. - John R. W. Glauert; Richard Kennaway; George A. Papadopoulos; M. Ronan Sleep (J. Program. Lang., 1997)

Infinitary Lambda Calculus. - Richard Kennaway; Jan Willem Klop; M. Ronan Sleep; Fer-Jan de Vries (Theor. Comput. Sci., 1997)

Infinitary Rewriting: From Syntax to Semantics. - Richard Kennaway; Paula Severi; M. Ronan Sleep; Fer-Jan de Vries (Processes, Terms and Cycles, 2005)