Programming with VDM /
Rolland, F. D.
London : Macmillan,
1992.