"Logic and specification: extending VDM-SL for advanced formal specification" - читать интересную книгу автора (Cornelis A. Middelburg)