@article{BergstraB02,
  title = {Molecular dynamics},
  author = {Jan A. Bergstra and Inge Bethke},
  year = {2002},
  doi = {10.1016/S1567-8326(02)00021-8},
  url = {http://dx.doi.org/10.1016/S1567-8326(02)00021-8},
  researchr = {https://researchr.org/publication/BergstraB02},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {51},
  number = {2},
  pages = {193-214},
}

@article{abs-0901-4664,
  title = {Square root meadows},
  author = {Jan A. Bergstra and Inge Bethke},
  year = {2009},
  url = {http://arxiv.org/abs/0901.4664},
  researchr = {https://researchr.org/publication/abs-0901-4664},
  cites = {0},
  citedby = {0},
  journal = {corr},
  volume = {abs/0901.4664},
}

@article{BethkeKV00,
  title = {Descendants and Origins in Term Rewriting},
  author = {Inge Bethke and Jan Willem Klop and Roel C. de Vrijer},
  year = {2000},
  tags = {term rewriting, graph-rewriting, C++, rewriting},
  researchr = {https://researchr.org/publication/BethkeKV00},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {159},
  number = {1-2},
  pages = {59-124},
}

@article{BergstraB05,
  title = {Network algebra in Java},
  author = {Jan A. Bergstra and Inge Bethke},
  year = {2005},
  doi = {10.1016/j.jlap.2004.03.011},
  url = {http://dx.doi.org/10.1016/j.jlap.2004.03.011},
  tags = {Java,  algebra},
  researchr = {https://researchr.org/publication/BergstraB05},
  cites = {0},
  citedby = {0},
  journal = {jlp},
  volume = {62},
  number = {2},
  pages = {247-271},
}

@inproceedings{BethkeKV96,
  title = {Completing Partial Combinatory Algebras With Unique Head-Normal Forms},
  author = {Inge Bethke and Jan Willem Klop and Roel C. de Vrijer},
  year = {1996},
  tags = {completeness, C++,  algebra},
  researchr = {https://researchr.org/publication/BethkeKV96},
  cites = {0},
  citedby = {0},
  pages = {448-454},
  booktitle = {lics},
}

@article{BethkeKV99,
  title = {Extending partial combinatory algebras},
  author = {Inge Bethke and Jan Willem Klop and Roel C. de Vrijer},
  year = {1999},
  tags = {C++,  algebra},
  researchr = {https://researchr.org/publication/BethkeKV99},
  cites = {0},
  citedby = {0},
  journal = {mscs},
  volume = {9},
  number = {4},
  pages = {483-505},
}

@article{BergstraBP94,
  title = {Process Algebra with Iteration and Nesting},
  author = {Jan A. Bergstra and Inge Bethke and Alban Ponse},
  year = {1994},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/BergstraBP94},
  cites = {0},
  citedby = {0},
  journal = {cj},
  volume = {37},
  number = {4},
  pages = {243-258},
}

@inproceedings{BergstraBP93,
  title = {Process Algebra with Combinators},
  author = {Jan A. Bergstra and Inge Bethke and Alban Ponse},
  year = {1993},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/BergstraBP93},
  cites = {0},
  citedby = {0},
  pages = {36-65},
  booktitle = {csl},
}

@article{abs-0905-4612,
  title = {Straight-line instruction sequence completeness for total calculation on cancellation meadows},
  author = {Jan A. Bergstra and Inge Bethke},
  year = {2009},
  url = {http://arxiv.org/abs/0905.4612},
  tags = {completeness},
  researchr = {https://researchr.org/publication/abs-0905-4612},
  cites = {0},
  citedby = {0},
  journal = {corr},
  volume = {abs/0905.4612},
}

@article{BergstraB05:0,
  title = {Polarized process algebra with reactive composition},
  author = {Jan A. Bergstra and Inge Bethke},
  year = {2005},
  doi = {10.1016/j.tcs.2005.06.014},
  url = {http://dx.doi.org/10.1016/j.tcs.2005.06.014},
  tags = {composition, process algebra,  algebra},
  researchr = {https://researchr.org/publication/BergstraB05%3A0},
  cites = {0},
  citedby = {0},
  journal = {TCS},
  volume = {343},
  number = {3},
  pages = {285-304},
}

@inproceedings{BergstraB03,
  title = {Polarized Process Algebra and Program Equivalence},
  author = {Jan A. Bergstra and Inge Bethke},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2719/27190001.htm},
  tags = {process algebra,  algebra},
  researchr = {https://researchr.org/publication/BergstraB03},
  cites = {0},
  citedby = {0},
  pages = {1-21},
  booktitle = {icalp},
}

@article{BergstraBP07,
  title = {Decision problems for pushdown threads},
  author = {Jan A. Bergstra and Inge Bethke and Alban Ponse},
  year = {2007},
  doi = {10.1007/s00236-007-0040-5},
  url = {http://dx.doi.org/10.1007/s00236-007-0040-5},
  researchr = {https://researchr.org/publication/BergstraBP07},
  cites = {0},
  citedby = {0},
  journal = {ACTA},
  volume = {44},
  number = {2},
  pages = {75-90},
}

@article{BergstraBR95,
  title = {A propositional logic with 4 values: true, false, divergent and meaningless},
  author = {Jan A. Bergstra and Inge Bethke and Piet Rodenburg},
  year = {1995},
  tags = {logic},
  researchr = {https://researchr.org/publication/BergstraBR95},
  cites = {0},
  citedby = {0},
  journal = {jancl},
  volume = {5},
  number = {2},
  pages = {199-217},
}

@article{abs-0707-0744,
  title = {A process algebra based framework for promise theory},
  author = {Jan A. Bergstra and Inge Bethke and Mark Burgess},
  year = {2007},
  url = {http://arxiv.org/abs/0707.0744},
  tags = {rule-based, process algebra,  algebra},
  researchr = {https://researchr.org/publication/abs-0707-0744},
  cites = {0},
  citedby = {0},
  journal = {corr},
  volume = {abs/0707.0744},
}

@article{BergstraB05:1,
  title = {An upper bound for the equational specification of finite state services},
  author = {Jan A. Bergstra and Inge Bethke},
  year = {2005},
  doi = {10.1016/j.ipl.2005.02.010},
  url = {http://dx.doi.org/10.1016/j.ipl.2005.02.010},
  researchr = {https://researchr.org/publication/BergstraB05%3A1},
  cites = {0},
  citedby = {0},
  journal = {ipl},
  volume = {94},
  number = {6},
  pages = {267-269},
}