Naumann01'

@inproceedings{DBLP:conf/ppdp/Naumann01,
  author    = {David A. Naumann},
  title     = {Ideal Models for Pointwise Relational and State-Free Imperative
               Programming},
  booktitle = {PPDP},
  year      = {2001},
  pages     = {4-15},
  crossref  = {DBLP:conf/ppdp/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ppdp/2001,
  title     = {Proceedings of the 3rd international ACM SIGPLAN conference
               on Principles and practice of declarative programming, September
               5-7, 2001, Florence, Italy},
  booktitle = {PPDP},
  publisher = {ACM},
  year      = {2001},
  isbn      = {1-58113-388-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}