@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 = {Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings},
  editor = {Walid Taha},
  volume = {1924},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-41054-6},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986},
  editor = {Joseph H. Fasel and Robert M. Keller},
  volume = {279},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-18420-1},
}

@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 = {Symposium on Object-Oriented Real-Time Distributed Computing},
}

@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 = {IEEE 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 Notices},
  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 = {Comput. J.},
  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 = {Proceedings of the 2nd International Conference on Distributed Computing Systems, Paris, France, 1981},
  publisher = {IEEE Computer Society},
}

@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 = {IEEE Trans. Software Eng.},
  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 = {Proceedings of the SIGPLAN  76 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976},
  publisher = {ACM},
}

@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 = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text},
  editor = {Johan  Jeuring and Erik Meijer},
  volume = {925},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59451-5},
}