Nico Plat Ronald Huijsman Jan van Katwijk Gertjan van Oosten Kees Pronk Hans Toetenel Type Checking BSI/VDM-SL. 399-425 1990 conf/fm/1990 VDM Europe db/conf/fm/vdme1990.html#PlatHKOPT90 http://dx.doi.org/10.1007/3-540-52513-0_21