VelosoF82'

BibTeX

@inproceedings{DBLP:conf/adbt/VelosoF82,
  author    = {Paulo A. S. Veloso and
               Antonio L. Furtado},
  title     = {Stepwise Construction of Algebraic Specifications},
  booktitle = {Advances in Data Base Theory},
  year      = {1982},
  pages     = {321-352},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}