VDM '87: VDM-a formal method at work

Ian.J. Hayes
1988 Science of Computer Programming  
doi:10.1016/0167-6423(88)90055-x fatcat:kuwrvd6eazeejnezbihly6aela