LeinwandL80'

@inproceedings{DBLP:conf/dac/LeinwandL80,
  author    = {Sany M. Leinwand and
               T. Lamdan},
  title     = {Algebraic analysis of nondeterministic behavior},
  booktitle = {DAC},
  year      = {1980},
  pages     = {483-493},
  ee        = {http://doi.acm.org/10.1145/800139.804573},
  crossref  = {DBLP:conf/dac/1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/dac/1980,
  editor    = {Edwin B. Hassler Jr.},
  title     = {Proceedings of the 17th Design Automation Conference, DAC
               '80, Minneapolis, Minnesota, USA, June 23-25, 1980},
  booktitle = {DAC},
  publisher = {ACM/IEEE},
  year      = {1980},
  isbn      = {0-89791-020-6},
  ee        = {http://dl.acm.org/citation.cfm?id=800139},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}