Object-Oriented Formal Specification Development using VDM. - Amarit Laorakpong; Motoshi Saeki (ISOTAS, 1993)