@book{1991-van-lamsweerde ,title={{ESEC '91: Proceedings of the 3rd European software engineering conference held in Milan, Italy, October 21--24, 1991}} ,booktitle={{ESEC '91: Proceedings of the 3rd European software engineering conference held in Milan, Italy, October 21--24, 1991}} ,editor={Axel van Lamsweerde and Alfonso Fugetta} ,ISBN={3--540--54742--8} ,publisher={Springer-Verlag} ,address={London} ,series={Lecture Notes in Computer Science} ,volume={550} ,year={1991} }