Completion Semantics, Interpreter Generation. - Martin C. Henson; Raymond Turner (POPL, 1982)

A Constructive Set Theory for Program Development. - Martin C. Henson; Raymond Turner (FSTTCS, 1988)

Higher-Order Transformations and Type Simulations. - Martin C. Henson (Comput. J., 1988)

Realizability Models for Program Construction. - Martin C. Henson (MPC, 1989)

Program Development in the Constructive Set Theory TK. - Martin C. Henson (Formal Aspects Comput., 1989)

Information Loss in the Programming Logic TK. - Martin C. Henson (Programming Concepts and Methods, 1990)

Safe Positive Induction in the Programming Logic TK. - Martin C. Henson (RCLP, 1991)

On the Proof Theory of Program Transformations. - Martin C. Henson (Log. J. IGPL, 1995)

An intensional semantics for elementary program transformations. - Martin C. Henson (J. Log. Comput., 1995)

A Logic for the Schema Calculus. - Martin C. Henson; Steve Reeves (ZUM, 1998)

The Standard Logic of Z is Inconsistent. - Martin C. Henson (Formal Aspects Comput., 1998)

Revising Z: Part I - Logic and Semantics. - Martin C. Henson; Steve Reeves (Formal Aspects Comput., 1999)

Revising Z: Part II - Logical Development. - Martin C. Henson; Steve Reeves (Formal Aspects Comput., 1999)

Program Development and Specification Refinement in the Schema Calculus. - Martin C. Henson; Steve Reeves (ZB, 2000)

Investigating Z. - Martin C. Henson; Steve Reeves (J. Log. Comput., 2000)

Results on Formal Stepwise Design in Z. - Moshe Deutsch; Martin C. Henson; Steve Reeves (APSEC, 2002)

An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. - Moshe Deutsch; Martin C. Henson (APSEC, 2003)

Modular refinement in novel schema calculi. - Moshe Deutsch; Martin C. Henson; Besnik Kajtazi (APSEC, 2003)

An Analysis of Forward Simulation Data Refinement. - Moshe Deutsch; Martin C. Henson (ZB, 2003)

Operation Refinement and Monotonicity in the Schema Calculus. - Moshe Deutsch; Martin C. Henson; Steve Reeves (ZB, 2003)

Z Logic and its Consequences. - Martin C. Henson; Steve Reeves; Jonathan P. Bowen (Comput. Artif. Intell., 2003)

A Logic for Schema-Based Program Development. - Martin C. Henson; Steve Reeves (Formal Aspects Comput., 2003)

An Analysis of Total Correctness Refinement Models for Partial Relation Semantics II. - Moshe Deutsch; Martin C. Henson (Log. J. IGPL, 2003)

An Analysis of Total Correctness Refinement Models for Partial Relation Semantics I. - Moshe Deutsch; Martin C. Henson; Steve Reeves (Log. J. IGPL, 2003)

An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. - Moshe Deutsch; Martin C. Henson (APSEC, 2005)

An Analysis of Operation-Refinement in an Abortive Paradigm. - Moshe Deutsch; Martin C. Henson (REFINE, 2005)

The Specification Logic vZ. - Martin C. Henson; Besnik Kajtazi (REFINE, 2005)

A Relational Investigation of UTP Designs and Prescriptions. - Moshe Deutsch; Martin C. Henson (UTP, 2006)

An analysis of refinement in an abortive paradigm. - Moshe Deutsch; Martin C. Henson (Formal Aspects Comput., 2006)

The specification logic nuZ. - Martin C. Henson; Moshe Deutsch; Besnik Kajtazi (Formal Aspects Comput., 2006)