1. G. Gopal, G. Herman, W. Mansfield Jr. “A Data Base Model For Network Services”, Proceedings of IEE Software Engineering for Telecommunication Switching Systems 89, pp. 154–157, 1989.
2. P. Zave, “An Operational Approach to Requirements Specification for Embedded Systems”, IEEE Trans. Software Eng., Vol. SE-8, No. 3, 1982.
3. Ed Brinksma, “A tutorial on LOTOS”, Protocol Specification, Testing, and Verification, IFIP 85, North Holland Publishing Company, pp. 171–194, 1986.
4. M. Hashimoto, K. Ibuki, “Program Specification Description Method Using Data Model-based Information Structure Description”, Review of the Electrical Communications Laboratories, Vol. 35, No. 4, pp. 409–416, 1987.
5. P.P. Chen, “The Entity-Relationship Model — Toward a Unified View of Data”, ACM Trans. Database Syst., Vol. 1, No. 1, pp. 9–36, 1976.