ChampeauxACDLLH91'

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