@inproceedings{DBLP:conf/oopsla/ChampeauxACDLLH91,
author = {Dennis de Champeaux and
Pierre America and
Derek Coleman and
Roger Duke and
Doug Lea and
Gary T. Leavens and
Fiona Hayes},
title = {Formal Techniques for OO Software Development (Panel)},
booktitle = {OOPSLA},
year = {1991},
pages = {166-170},
ee = {http://doi.acm.org/10.1145/117954.117967},
crossref = {DBLP:conf/oopsla/1991},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/oopsla/1991,
editor = {Andreas Paepcke},
title = {Conference on Object-Oriented Programming Systems, Languages,
and Applications (OOPSLA'91), Sixth Annual Conference, Phoenix,
Arizona, USA, October 6-11, 1991, Proceedings},
booktitle = {OOPSLA},
publisher = {ACM},
year = {1991},
isbn = {0-201-55417-8},
ee = {http://dl.acm.org/citation.cfm?id=117954},
bibsource = {DBLP, http://dblp.uni-trier.de}
}