Software prototyping, formal methods and VDM
Hekmatpour, Sharam,1961-
Ince, D.(Darrel)
Wokingham Addison-Wesley
1988
Bibliography: p138-153. - Includes index