Title: Logic and Specification: Extending Vdm-Sl for Advanced Formal Specification (Computer Science : Research and Practice)