English Beginner Logic and specification: extending VDM-SL for advanced formal specification Cornelis A. Middelburg 1993 View book