Formal specification of a persistent object management system. - J. Murphy; J. Grimson (Inf. Softw. Technol., 1993)