Projects Directory : Coursework : Object-Oriented and Object Relational Models - coursework in formal methods/specifications using VDM-SL