Thomas Letschert VDM as a Specification Method for Telecommunications Software. 106-109 1987 conf/fm/1987 VDM Europe db/conf/fm/vdme1987.html#Letschert87 http://dx.doi.org/10.1007/3-540-17654-3_8