The VDM-SL Reference Guide (1991)

by John Dawes
Venue:The Computer Journal