Axel van Lamsweerde, Alfonso Fuggetta: ESEC '91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings. Lecture Notes in Computer Science 550, Springer 1991, ISBN 3-540-54742-8