Peter Haff Anders Olsen Use of VDM within CCITT. 324-330 1987 conf/fm/1987 VDM Europe db/conf/fm/vdme1987.html#HaffO87 http://dx.doi.org/10.1007/3-540-17654-3_18