BibTeX record conf/fm/KapurMS81

download as .bib file

@inproceedings{DBLP:conf/fm/KapurMS81,
  author       = {Deepak Kapur and
                  David R. Musser and
                  Alexander A. Stepanov},
  editor       = {J{\o}rgen Staunstrup},
  title        = {Tecton: {A} Language for Manipulating Generic Objects},
  booktitle    = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark,
                  August 1981},
  series       = {Lecture Notes in Computer Science},
  volume       = {134},
  pages        = {402--414},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-11490-4\_24},
  doi          = {10.1007/3-540-11490-4\_24},
  timestamp    = {Tue, 19 Dec 2023 15:41:48 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/KapurMS81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}