Logic and specifiction : extending VDM-SL for advanced formal specification /
Middelburg, Cornelis A.
London : Chapman & Hall,
1993.
Includes index.
Programming languages (Electronic computers)
Software engineering.
Logic, Symbolic and mathematical.