From VDM to RAISE. - Søren Prehn (VDM Europe, 1987)

Formal Methods in Software Development: Requirements for a CASE. - Dines Bjørner; Søren Prehn (Software Development Environments and CASE Technology, 1991)