Sergiu Dascalu, Peter Hitchcock. An approach to integrating semi-formal and formal notations in software specification. In Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain. pages 1014-1020, ACM, 2002. [doi]
Abstract is missing.