Q. Charatan MOOV++: modular object-oriented VDM. 275-280 2000 42 Inf. Softw. Technol. 4 db/journals/infsof/infsof42.html#Charatan00 https://doi.org/10.1016/S0950-5849(99)00064-6