Systematic Software Development Using VDM, second edition (1990)

by C B Jones