An Efficient Syntactic Analyser of Certain Formal Languages. - György E. Révész (Math. Syst. Theory, 1968)

Unilateral Context Sensitive Grammars and Left-to-Right Parsing. - György E. Révész (J. Comput. Syst. Sci., 1971)

Dual pushdown automata and context sensitive grammars. - György E. Révész (Acta Cybern., 1972)

Comment on the Paper "Error Detection in Formal Languages". - György E. Révész (J. Comput. Syst. Sci., 1974)

Multicontrol Turing machines. - György E. Révész (Acta Cybern., 1977)

Algebraic Properties of Derivation Words. - György E. Révész (J. Comput. Syst. Sci., 1977)

An Extension of Lambda-Calculus for Functional Programming. - György E. Révész (J. Log. Program., 1984)

Axioms for the Theory of Lambda-Conversion. - György E. Révész (SIAM J. Comput., 1985)

A Note on Macro Generation. - György E. Révész (Softw. Pract. Exp., 1985)

Rule-Based Semantics for an Extended Lambda-Calculus. - György E. Révész (MFPS, 1987)

Lambda-calculus, combinators, and functional programming. - György E. Révész (Cambridge University Press, 1988)

Comparing Two Functional Programming Systems. - Brent Hailpern; Tien Huynh; György E. Révész (IEEE Trans. Software Eng., 1989)

Parallel Graph-Reduction with a Shared Memory Multiprocessor System. - György E. Révész (ICCL, 1990)

On Translating Ordinary Mathematical Notation. - György E. Révész (Struct. Program., 1991)

A List-Oriented Extension of the lambda-Calculus Satisfying the Church-Rosser Theorem. - György E. Révész (Theor. Comput. Sci., 1992)

Categorical Combinations with Explicit Products. - György E. Révész (Fundam. Informaticae, 1995)

Experimenting with tail-recursion and simulating coroutines. - György E. Révész (ACM SIGCSE Bull., 1998)