An Executable Subset of Meta-IV with Loose Specification. - Peter Gorm Larsen; Poul Bøgh Lassen (VDM Europe (1), 1991)

Making specifications executable - Using IPTES Meta-IV. - Michael Andersen; René Elmstrøm; Poul Bøgh Lassen; Peter Gorm Larsen (Microprocess. Microprogramming, 1992)

An Executable Subset of VDM-SL, in an SA/RT Framework. - René Elmstrøm; Poul Bøgh Lassen; Michael Andersen (Real Time Syst., 1993)

IFAD VDM-SL Toolbox. - Poul Bøgh Lassen (FTRTFT, 1994)

The IFAD VDM-SL toolbox: a practical approach to formal specifications. - René Elmstrøm; Peter Gorm Larsen; Poul Bøgh Lassen (ACM SIGPLAN Notices, 1994)