Logic and specification extending VDM-SL for advanced formal specification - Middelburg, Cornelis A. (Chapman & Hall, 1993)