DBLP BibTeX Record 'conf/adt/Veloso83'

@inproceedings{DBLP:conf/adt/Veloso83,
  author    = {Paulo A. S. Veloso},
  title     = {Problems as Abstract Data Types: Applications to Program
               Construction},
  booktitle = {ADT},
  year      = {1983},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}