Mechanizing Program Verification in HOL. - Sten Agerholm (TPHOLs, 1991)

Domain Theory in HOL. - Sten Agerholm (HUG, 1993)

Non-primitive Recursive Function Definitions. - Sten Agerholm (TPHOLs, 1995)

Experiments with ZF Set Theory in HOL and Isabelle. - Sten Agerholm; Michael J. C. Gordon (TPHOLs, 1995)

LCF Examples in HOL. - Sten Agerholm (Comput. J., 1995)

Translating Specifications in VDM-SL to PVS. - Sten Agerholm (TPHOLs, 1996)

A Comparison of HOL and ALF Formalizations of a Categorical Coherence Theorem. - Sten Agerholm; Ilya Beylin; Peter Dybjer (TPHOLs, 1996)

Towards an Integrated CASE and Theorem Proving Tool for VDM-SL. - Sten Agerholm; Jacob Frost (FME, 1997)

An Isabelle-Based Theorem Prover for VDM-SL. - Sten Agerholm; Jacob Frost (TPHOLs, 1997)

On the Verification of VDM Specification and Refinement with PVS. - Sten Agerholm; Juan Bicarregui; Savi Maharaj (Proof in VDM, 1998)

Supporting Proof in VDM-SL using Isabelle. - Sten Agerholm; Jacob Frost (Proof in VDM, 1998)

A Lightweight Approach to Formal Methods. - Sten Agerholm; Peter Gorm Larsen (FM-Trends, 1998)

The IFAD VDM Tools: Lightweight Formal Methods. - Sten Agerholm; Peter Gorm Larsen (FM-Trends, 1998)

Formal specification and validation at work: a case study using VDM-SL. - Sten Agerholm; Pierre-Jean Lecoeur; Etienne Reichert (FMSP, 1998)

Investigating the Integration of two Formal Methods. - Juan Bicarregui; Brian Matthews; Brian Ritchie; Sten Agerholm (Formal Aspects Comput., 1998)