1. M. Saeki H. Horai H. Enomoto Software development process from natural language specification Proceedings of the 11th international Con ference on Software Engineering, Pittsburgh, PA, ICSE'89 ACM New York 64 73
2. Creating formal specifications from requirements documents;Amoroso;ACM SIGSOFT Software Eng. Notes,1995
3. Informal and formal requirements specification language: Bridging the gap;Fraser;IEEE Trans. Software Eng.,1991
4. S. R. Faulk Software requirements: A tutorial in software requirements engineering R. H. Thayer M. Dorfman Software Requirement Engineering IEEE Computer Society Press Los Alamitos, CA 7 22