BibTeX record journals/sigmod/NATS72

download as .bib file

@article{DBLP:journals/sigmod/NATS72,
  title     = {{NATS} Project: Collaborative Research Toward the Development of a
               Certified Subroutine Library},
  journal   = {{FDT} - Bulletin of {ACM} {SIGFIDET}},
  volume    = {4},
  number    = {1},
  pages     = {15},
  year      = {1972},
  timestamp = {Wed, 19 Sep 2012 09:16:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sigmod/NATS72},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}