@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}
}