@inproceedings{Kieburtz00,
  title = {Implementing Closed Domain-Specific Languages},
  author = {Richard B. Kieburtz},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/1924/19240001.htm},
  tags = {domain-specific language},
  researchr = {https://researchr.org/publication/Kieburtz00},
  cites = {0},
  citedby = {0},
  pages = {1-2},
  booktitle = {saig},
}

@article{Kieburtz07a,
  title = {Strength Induction in a Haskell Program Verifier},
  author = {Richard B. Kieburtz},
  year = {2007},
  doi = {10.1016/j.entcs.2007.10.008},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.10.008},
  tags = {program verification, Haskell},
  researchr = {https://researchr.org/publication/Kieburtz07a},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {193},
  pages = {61-79},
}

@inproceedings{Kieburtz86,
  title = {Performance measurement of a G-machine implementation},
  author = {Richard B. Kieburtz},
  year = {1986},
  researchr = {https://researchr.org/publication/Kieburtz86},
  cites = {0},
  citedby = {0},
  pages = {275-296},
  booktitle = {gr},
}

@inproceedings{NordlanderJCKB02,
  title = {Reactive Objects},
  author = {Johan Nordlander and Mark P. Jones and Magnus Carlsson and Richard B. Kieburtz and Andrew P. Black},
  year = {2002},
  url = {http://computer.org/proceedings/isorc/1558/15580155abs.htm},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/NordlanderJCKB02},
  cites = {0},
  citedby = {0},
  pages = {155-158},
  booktitle = {isorc},
}

@article{BabbKOMGM85,
  title = {Workshop on Models and Languages for Software Specification and Design},
  author = {Robert G. Babb II and Richard B. Kieburtz and Ken Orr and Ali Mili and Susan Gearhart and Nancy N. Martin},
  year = {1985},
  tags = {modeling language, language modeling, language design, design},
  researchr = {https://researchr.org/publication/BabbKOMGM85},
  cites = {0},
  citedby = {0},
  journal = {Computer},
  volume = {18},
  number = {3},
  pages = {103-108},
}

@article{HudakPWBFFGHHJKNPP92,
  title = {Report on the Programming Language Haskell, A Non-strict, Purely Functional Language},
  author = {Paul Hudak and Simon L. Peyton Jones and Philip Wadler and Brian Boutel and Jon Fairbairn and Joseph H. Fasel and María M. Guzmán and Kevin Hammond and John Hughes and Thomas Johnsson and Richard B. Kieburtz and Rishiyur S. Nikhil and Will Partain and John Peterson},
  year = {1992},
  tags = {programming languages, functional programming, Haskell, programming},
  researchr = {https://researchr.org/publication/HudakPWBFFGHHJKNPP92},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {27},
  number = {5},
  pages = {1},
}

@article{KieburtzS82,
  title = {On the Static Access-Control Mechanism in Concurrent Pascal},
  author = {Richard B. Kieburtz and Abraham Silberschatz},
  year = {1982},
  tags = {access control, Pascal},
  researchr = {https://researchr.org/publication/KieburtzS82},
  cites = {0},
  citedby = {0},
  journal = {cj},
  volume = {25},
  number = {1},
  pages = {17-21},
}

@inproceedings{Kieburtz81,
  title = {A Distributed Operating System for the Stony Brook Multicomputer},
  author = {Richard B. Kieburtz},
  year = {1981},
  tags = {operating system},
  researchr = {https://researchr.org/publication/Kieburtz81},
  cites = {0},
  citedby = {0},
  pages = {67-78},
  booktitle = {icdcs},
}

@article{SilberschatzKB77,
  title = {Extending Concurrent Pascal to Allow Dynamic Resource Management},
  author = {Abraham Silberschatz and Richard B. Kieburtz and Arthur J. Bernstein},
  year = {1977},
  tags = {Pascal},
  researchr = {https://researchr.org/publication/SilberschatzKB77},
  cites = {0},
  citedby = {0},
  journal = {TSE},
  volume = {3},
  number = {3},
  pages = {210-217},
}

@inproceedings{Kieburtz76,
  title = {Programming without Pointer Variables},
  author = {Richard B. Kieburtz},
  year = {1976},
  tags = {programming},
  researchr = {https://researchr.org/publication/Kieburtz76},
  cites = {0},
  citedby = {0},
  pages = {95-107},
  booktitle = {sigplan},
}

@inproceedings{KieburtzL95,
  title = {Programming with Algebras},
  author = {Richard B. Kieburtz and Jeffrey Lewis},
  year = {1995},
  tags = { algebra, programming},
  researchr = {https://researchr.org/publication/KieburtzL95},
  cites = {0},
  citedby = {0},
  pages = {267-307},
  booktitle = {afp},
}