Type Checking BSI/VDM-SL. - Nico Plat; Ronald Huijsman; Jan van Katwijk; Gertjan van Oosten; Kees Pronk; Hans Toetenel (VDM Europe, 1990)