Systematic software development using VDM - Jones Cliff B (1986)
Bibliography 294-296p
Keywords: Computer science