Uwe Schmidt Reinhard Völler Experience with VDM in Norsk Data. 49-62 1987 conf/fm/1987 VDM Europe db/conf/fm/vdme1987.html#SchmidtV87 http://dx.doi.org/10.1007/3-540-17654-3_4