Title: Reasoning about VDM developments using the VDM support tool in Mural
First published: 1992