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)

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

An Ada95 Solution for Certification of Embedded Safety Critical Applications. - Jacob Frost (Ada-Europe, 1999)