- Roel J. Wieringa, Eric Dubois, Sander Huyts:
Integrating Semi-formal and Formal Requirements. CAiSE 1997: 19-32 - Antoni Olivé, Joan Antoni Pastor:
Advanced Information Systems Engineering, 9th International Conference CAiSE'97, Barcelona, Catalonia, Spain, June 16-20, 1997, Proceedings. Lecture Notes in Computer Science 1250, Springer 1997, ISBN 3-540-63107-0 [contents]