"The VDM-SL Reference Guide" - читать интересную книгу автора (John Dawes)