Research on the formal description of object model for MIS

• 管理信息系统对象模型形式描述的研究