Citation: Vk. Vaishnavi et al., A DATA KNOWLEDGE PARADIGM FOR THE MODELING AND DESIGN OF OPERATIONS SUPPORT SYSTEMS/, IEEE transactions on knowledge and data engineering, 9(2), 1997, pp. 275-291
Citation: Md. Fraser et al., STRATEGIES FOR INCORPORATING FORMAL SPECIFICATIONS IN SOFTWARE-DEVELOPMENT, Communications of the ACM, 37(10), 1994, pp. 74-85