Algebraic, Operational and Denotational Semantics of the Lambda Calculus. - Clement A. Baker-Finch (Aust. Comput. J., 1984)

The (Algebraic) Congruence of Two Programming Language Definitions. - Clement A. Baker-Finch (Sci. Comput. Program., 1990)

Relevant Logic and Strictness Analysis. - Clement A. Baker-Finch (WSA, 1992)

Usage Analysis with Natural Reduction Types. - David A. Wright 001; Clement A. Baker-Finch (WSA, 1993)

Type Theory and Projections for Higher-Order Static Analysis. - Clement A. Baker-Finch (PEPM, 1994)

Type Theory and Projections for Static Analysis. - Clement A. Baker-Finch (LISP Symb. Comput., 1995)

Towards an Operational Semantics for a Parallel Non-Strict Functional Language. - Jon G. Hall; Clement A. Baker-Finch; Philip W. Trinder; David J. King (IFL, 1998)

An Abstract Machine for Parallel Lazy Evaluation. - Clement A. Baker-Finch (Scottish Functional Programming Workshop, 1999)

An operational semantics for parallel lazy evaluation. - Clement A. Baker-Finch; David J. King; Philip W. Trinder (ICFP, 2000)

Constructed product result analysis for Haskell. - Clement A. Baker-Finch; Kevin Glynn; Simon L. Peyton Jones (J. Funct. Program., 2004)