Beum-Seuk Lee, Barrett R. Bryant. Automated conversion from requirements documentation to an object-oriented formal specification language. In Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain. pages 932-936, ACM, 2002. [doi]
Abstract is missing.