\bib{1991/van-lamsweerde}
\yr 1991
\editor Axel van Lamsweerde
\editor Alfonso Fugetta
\isbn 3--540--54742--8
\book ESEC '91: Proceedings of the 3rd European software engineering conference held in Milan, Italy, October 21--24, 1991
\series Lecture Notes in Computer Science
\seriesvol 550
\publ Springer-Verlag
\publaddr London
\endref
