Using VDM to Specify OSI Managed Objects.

Linda Simon Lynn S. Marshall Using VDM to Specify OSI Managed Objects. 17-31 1991 conf/forte/1991 FORTE db/conf/forte/forte1991.html#SimonM91