extension

Logic and specification: extending VDM-SL for advanced formal specification

Cornelis A. Middelburg