Title: The VDM-SL reference guide
Subjects: Computer software, Development