The VDM-SL Reference Guide | lit.salon