Systematic Software Development Using VDM (1990)

by Cliff B Jones
Venue:International Series in Computer Science