Efficient compilation of linear recursive functions into object level loops. - Peter G. Harrison; Hessam Khoshnevisan (SIGPLAN Symposium on Compiler Construction, 1986)

Algebraic Transformation Techniques for Functional Languages. - Peter G. Harrison; Hessam Khoshnevisan (Comput. J., 1988)

A Functional Programming Environment Supporting Execution, Partial Execution and Transformation. - John Darlington; Peter G. Harrison; Hessam Khoshnevisan; Lee McLoughlin; Nigel Perry; Helen Pull; Mike Reeve; Keith Sephton; Lyndon While; Sue Wright (PARLE (1), 1989)

InvX: An Automatic Function Inverter. - Hessam Khoshnevisan; K. M. Sephton (RTA, 1989)

Efficient Memo-Table Management Strategies. - Hessam Khoshnevisan (Acta Informatica, 1990)

On the Synthesis of Function Inverses. - Peter G. Harrison; Hessam Khoshnevisan (Acta Informatica, 1992)

The Mechanical Transformation of Data Types. - Peter G. Harrison; Hessam Khoshnevisan (Comput. J., 1992)

A New Approach to Recursion Removal. - Peter G. Harrison; Hessam Khoshnevisan (Theor. Comput. Sci., 1992)

Mechanical parallelisation of database applications. - Hessam Khoshnevisan; Mohamad Afshar (SAC, 1994)

Mechanical Elimination of Commutative Redundancy. - Hessam Khoshnevisan; Mohamad Afshar (SAS, 1994)

Space-Efficient Memo-Functions. - Hessam Khoshnevisan; Mohamad Afshar (J. Syst. Softw., 1996)