Logic and Specifications: Extending VDM-SL for Advanced Formal Specification (Chapman & Hall Computer Science: Research & Practice Series)