BibTeX records: Jan A. Bergstra

download as .bib file

@article{DBLP:journals/cj/BergstraT23,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And
                  Incompleteness},
  journal      = {Comput. J.},
  volume       = {66},
  number       = {7},
  pages        = {1565--1572},
  year         = {2023},
  url          = {https://doi.org/10.1093/comjnl/bxac026},
  doi          = {10.1093/COMJNL/BXAC026},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BergstraT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/BergstraT23,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Naive Fracterm Calculus},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {29},
  number       = {9},
  pages        = {961--987},
  year         = {2023},
  url          = {https://doi.org/10.3897/jucs.87563},
  doi          = {10.3897/JUCS.87563},
  timestamp    = {Fri, 22 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jucs/BergstraT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BergstraT23,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Eager Equality for Rational Number Arithmetic},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {24},
  number       = {3},
  pages        = {22:1--22:28},
  year         = {2023},
  url          = {https://doi.org/10.1145/3580365},
  doi          = {10.1145/3580365},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tocl/BergstraT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-14821,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Conditional logic as a short-circuit logic},
  journal      = {CoRR},
  volume       = {abs/2304.14821},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.14821},
  doi          = {10.48550/ARXIV.2304.14821},
  eprinttype    = {arXiv},
  eprint       = {2304.14821},
  timestamp    = {Thu, 04 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-14821.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-04270,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {A Complete Finite Equational Axiomatisation of the Fracterm Calculus
                  for Common Meadows},
  journal      = {CoRR},
  volume       = {abs/2307.04270},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.04270},
  doi          = {10.48550/ARXIV.2307.04270},
  eprinttype    = {arXiv},
  eprint       = {2307.04270},
  timestamp    = {Mon, 24 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-04270.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra22,
  author       = {Jan A. Bergstra},
  title        = {A Survey of Testing for Instruction Sequence Theory},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {5--86},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.1.5},
  doi          = {10.7561/SACS.2022.1.5},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Bergstra22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraT22,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Which Arithmetical Data Types Admit Fracterm Flattening?},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {1},
  pages        = {87--107},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.1.87},
  doi          = {10.7561/SACS.2022.1.87},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra22a,
  author       = {Jan A. Bergstra},
  title        = {Four Notions of Fault for Program Specifications},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {32},
  number       = {2},
  pages        = {183--209},
  year         = {2022},
  url          = {https://doi.org/10.7561/SACS.2022.2.183},
  doi          = {10.7561/SACS.2022.2.183},
  timestamp    = {Sun, 25 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/Bergstra22a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/BergstraT22,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Partial arithmetical data types of rational numbers and their equational
                  specification},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {128},
  pages        = {100797},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jlamp.2022.100797},
  doi          = {10.1016/J.JLAMP.2022.100797},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlap/BergstraT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergstraT22,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  editor       = {Nils Jansen and
                  Mari{\"{e}}lle Stoelinga and
                  Petra van den Bos},
  title        = {Symmetric Transrationals: The Data Type and the Algorithmic Degree
                  of its Equational Theory},
  booktitle    = {A Journey from Process Algebra via Timed Automata to Model Learning
                  - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
                  Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {13560},
  pages        = {63--80},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15629-8\_4},
  doi          = {10.1007/978-3-031-15629-8\_4},
  timestamp    = {Sat, 24 Sep 2022 20:46:57 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BergstraT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra21,
  author       = {Jan A. Bergstra},
  title        = {Qualifications of Instruction Sequence Failures, Faults and Defects:
                  Dormant, Effective, Detected, Temporary, and Permanent},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {31},
  number       = {1},
  pages        = {1--50},
  year         = {2021},
  url          = {https://doi.org/10.7561/SACS.2021.1.1},
  doi          = {10.7561/SACS.2021.1.1},
  timestamp    = {Fri, 13 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Bergstra21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM21,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Using Hoare Logic in a Process Algebra Setting},
  journal      = {Fundam. Informaticae},
  volume       = {179},
  number       = {4},
  pages        = {321--344},
  year         = {2021},
  url          = {https://doi.org/10.3233/FI-2021-2026},
  doi          = {10.3233/FI-2021-2026},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BergstraPS21,
  author       = {Jan A. Bergstra and
                  Alban Ponse and
                  Daan J. C. Staudt},
  title        = {Non-commutative propositional logic with short-circuit evaluation},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {31},
  number       = {3-4},
  pages        = {234--278},
  year         = {2021},
  url          = {https://doi.org/10.1080/11663081.2021.2010954},
  doi          = {10.1080/11663081.2021.2010954},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jancl/BergstraPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BergstraP21,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Datatype defining rewrite systems for naturals and integers},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {17},
  number       = {1},
  year         = {2021},
  url          = {https://lmcs.episciences.org/7192},
  timestamp    = {Mon, 08 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/BergstraP21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraP20,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Arithmetical datatypes with true fractions},
  journal      = {Acta Informatica},
  volume       = {57},
  number       = {3-5},
  pages        = {385--402},
  year         = {2020},
  url          = {https://doi.org/10.1007/s00236-019-00352-8},
  doi          = {10.1007/S00236-019-00352-8},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BergstraP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra20,
  author       = {Jan A. Bergstra},
  title        = {Most General Algebraic Specifications for an Abstract Datatype of
                  Rational Numbers},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {30},
  number       = {1},
  pages        = {1--24},
  year         = {2020},
  url          = {https://doi.org/10.7561/SACS.2020.1.1},
  doi          = {10.7561/SACS.2020.1.1},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Bergstra20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra20a,
  author       = {Jan A. Bergstra},
  title        = {Instruction Sequence Faults with Formal Change Justification},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {30},
  number       = {2},
  pages        = {105--166},
  year         = {2020},
  url          = {https://doi.org/10.7561/SACS.2020.2.105},
  doi          = {10.7561/SACS.2020.2.105},
  timestamp    = {Fri, 19 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/Bergstra20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra20b,
  author       = {Jan A. Bergstra},
  title        = {Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of
                  Summation},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {30},
  number       = {2},
  pages        = {167--203},
  year         = {2020},
  url          = {https://doi.org/10.7561/SACS.2020.2.167},
  doi          = {10.7561/SACS.2020.2.167},
  timestamp    = {Fri, 19 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cuza/Bergstra20b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraM20,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On the complexity of the correctness problem for non-zeroness test
                  instruction sequences},
  journal      = {Theor. Comput. Sci.},
  volume       = {802},
  pages        = {1--18},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.tcs.2019.03.040},
  doi          = {10.1016/J.TCS.2019.03.040},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraM20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BergstraT20,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  editor       = {Markus Roggenbach},
  title        = {The Wheel of Rational Numbers as an Abstract Data Type},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 25th International
                  Workshop, {WADT} 2020, Virtual Event, April 29, 2020, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12669},
  pages        = {13--30},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-73785-6\_2},
  doi          = {10.1007/978-3-030-73785-6\_2},
  timestamp    = {Tue, 20 Apr 2021 16:12:01 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BergstraT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-01543,
  author       = {Jan A. Bergstra and
                  Mark Burgess},
  title        = {A Promise Theoretic Account of the Boeing 737 Max {MCAS} Algorithm
                  Affair},
  journal      = {CoRR},
  volume       = {abs/2001.01543},
  year         = {2020},
  url          = {http://arxiv.org/abs/2001.01543},
  eprinttype    = {arXiv},
  eprint       = {2001.01543},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-01543.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-05690,
  author       = {Jan A. Bergstra and
                  Mark Burgess},
  title        = {Candidate Software Process Flaws for the Boeing 737 Max {MCAS} Algorithm
                  and Risks for a Proposed Upgrade},
  journal      = {CoRR},
  volume       = {abs/2001.05690},
  year         = {2020},
  url          = {https://arxiv.org/abs/2001.05690},
  eprinttype    = {arXiv},
  eprint       = {2001.05690},
  timestamp    = {Fri, 17 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2001-05690.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/Bergstra19,
  author       = {Jan A. Bergstra},
  title        = {Quantitative Expressiveness of Instruction Sequence Classes for Computation
                  on Single Bit Registers},
  journal      = {Comput. Sci. J. Moldova},
  volume       = {27},
  number       = {2},
  pages        = {131--161},
  year         = {2019},
  url          = {http://www.math.md/publications/csjm/issues/v27-n2/12969/},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csjm/Bergstra19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/Bergstra19,
  author       = {Jan A. Bergstra},
  title        = {Adams Conditioning and Likelihood Ratio Transfer Mediated Inference},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {29},
  number       = {1},
  pages        = {1--58},
  year         = {2019},
  url          = {https://doi.org/10.7561/SACS.2019.1.1},
  doi          = {10.7561/SACS.2019.1.1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/Bergstra19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM19,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Program Algebra for Turing-Machine Programs},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {29},
  number       = {2},
  pages        = {113--139},
  year         = {2019},
  url          = {https://doi.org/10.7561/SACS.2019.2.113},
  doi          = {10.7561/SACS.2019.2.113},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraM19,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Process Algebra with Strategic Interleaving},
  journal      = {Theory Comput. Syst.},
  volume       = {63},
  number       = {3},
  pages        = {488--505},
  year         = {2019},
  url          = {https://doi.org/10.1007/s00224-018-9873-2},
  doi          = {10.1007/S00224-018-9873-2},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mst/BergstraM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-08840,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Program algebra for Turing-machine programs},
  journal      = {CoRR},
  volume       = {abs/1901.08840},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.08840},
  eprinttype    = {arXiv},
  eprint       = {1901.08840},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-08840.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-08722,
  author       = {Jan A. Bergstra},
  title        = {Quantitative Expressiveness of Instruction Sequence Classes for Computation
                  on Single Bit Registers},
  journal      = {CoRR},
  volume       = {abs/1904.08722},
  year         = {2019},
  url          = {http://arxiv.org/abs/1904.08722},
  eprinttype    = {arXiv},
  eprint       = {1904.08722},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-08722.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-04491,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Using Hoare logic in a process algebra setting},
  journal      = {CoRR},
  volume       = {abs/1906.04491},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.04491},
  eprinttype    = {arXiv},
  eprint       = {1906.04491},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-04491.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csjm/BergstraM18,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A Short Introduction to Program Algebra with Instructions for Boolean
                  Registers},
  journal      = {Comput. Sci. J. Moldova},
  volume       = {26},
  number       = {3},
  pages        = {199--232},
  year         = {2018},
  url          = {http://www.math.md/publications/csjm/issues/v26-n3/12735/},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/csjm/BergstraM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM18,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction Sequences Expressing Multiplication Algorithms},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {28},
  number       = {1},
  pages        = {39--66},
  year         = {2018},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII1\&\#38;a=1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-05845,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On the complexity of the correctness problem for non-zeroness test
                  instruction sequences},
  journal      = {CoRR},
  volume       = {abs/1805.05845},
  year         = {2018},
  url          = {http://arxiv.org/abs/1805.05845},
  eprinttype    = {arXiv},
  eprint       = {1805.05845},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1805-05845.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-04264,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A short introduction to program algebra with instructions for Boolean
                  registers},
  journal      = {CoRR},
  volume       = {abs/1808.04264},
  year         = {2018},
  url          = {http://arxiv.org/abs/1808.04264},
  eprinttype    = {arXiv},
  eprint       = {1808.04264},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1808-04264.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-02142,
  author       = {Jan A. Bergstra and
                  Alban Ponse and
                  Daan J. C. Staudt},
  title        = {Propositional logic with short-circuit evaluation: a non-commutative
                  and a commutative variant},
  journal      = {CoRR},
  volume       = {abs/1810.02142},
  year         = {2018},
  url          = {http://arxiv.org/abs/1810.02142},
  eprinttype    = {arXiv},
  eprint       = {1810.02142},
  timestamp    = {Tue, 30 Oct 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1810-02142.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraB17,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Subvarieties of the Variety of Meadows},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {27},
  number       = {1},
  pages        = {1--18},
  year         = {2017},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII1\&\#38;=0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM17,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Axioms for Behavioural Congruence of Single-Pass Instruction Sequences},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {27},
  number       = {2},
  pages        = {111--135},
  year         = {2017},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2\&\#38;a=0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM17,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Contradiction-Tolerant Process Algebra with Propositional Signals},
  journal      = {Fundam. Informaticae},
  volume       = {153},
  number       = {1-2},
  pages        = {29--55},
  year         = {2017},
  url          = {https://doi.org/10.3233/FI-2017-1530},
  doi          = {10.3233/FI-2017-1530},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM17,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Axioms for behavioural congruence of single-pass instruction sequences},
  journal      = {CoRR},
  volume       = {abs/1702.03511},
  year         = {2017},
  url          = {http://arxiv.org/abs/1702.03511},
  eprinttype    = {arXiv},
  eprint       = {1702.03511},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM17a,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Process algebra with strategic interleaving},
  journal      = {CoRR},
  volume       = {abs/1703.06822},
  year         = {2017},
  url          = {http://arxiv.org/abs/1703.06822},
  eprinttype    = {arXiv},
  eprint       = {1703.06822},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1707-00499,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Dimitri Hendriks},
  title        = {Universality of Univariate Mixed Fractions in Divisive Meadows},
  journal      = {CoRR},
  volume       = {abs/1707.00499},
  year         = {2017},
  url          = {http://arxiv.org/abs/1707.00499},
  eprinttype    = {arXiv},
  eprint       = {1707.00499},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1707-00499.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM16,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On Instruction Sets for Boolean Registers in Program Algebra},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {26},
  number       = {1},
  pages        = {1--26},
  year         = {2016},
  url          = {https://doi.org/10.7561/SACS.2016.1.1},
  doi          = {10.7561/SACS.2016.1.1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM16a,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A Hoare-Like Logic of Asserted Single-Pass Instruction Sequences},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {26},
  number       = {2},
  pages        = {125--156},
  year         = {2016},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVI2\&\#38;a=0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM16,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction Sequence Size Complexity of Parity},
  journal      = {Fundam. Informaticae},
  volume       = {149},
  number       = {3},
  pages        = {297--309},
  year         = {2016},
  url          = {https://doi.org/10.3233/FI-2016-1450},
  doi          = {10.3233/FI-2016-1450},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM16,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Transformation of fractions into simple fractions in divisive meadows},
  journal      = {J. Appl. Log.},
  volume       = {16},
  pages        = {92--110},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jal.2016.03.001},
  doi          = {10.1016/J.JAL.2016.03.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BergstraM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/BergstraP16,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  editor       = {Phillip James and
                  Markus Roggenbach},
  title        = {Probability Functions in the Context of Signed Involutive Meadows
                  (Extended Abstract)},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 23rd {IFIP} {WG}
                  1.3 International Workshop, {WADT} 2016, Gregynog, UK, September 21-24,
                  2016, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10644},
  pages        = {73--87},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-72044-9\_6},
  doi          = {10.1007/978-3-319-72044-9\_6},
  timestamp    = {Wed, 19 May 2021 08:32:29 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/BergstraP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraP16,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Datatype defining rewrite systems for the ring of integers, and for
                  natural and integer arithmetic in unary view},
  journal      = {CoRR},
  volume       = {abs/1608.06212},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.06212},
  eprinttype    = {arXiv},
  eprint       = {1608.06212},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bergstra16,
  author       = {Jan A. Bergstra},
  title        = {Adams Conditioning and Likelihood Ratio Transfer Mediated Inference},
  journal      = {CoRR},
  volume       = {abs/1611.09351},
  year         = {2016},
  url          = {http://arxiv.org/abs/1611.09351},
  eprinttype    = {arXiv},
  eprint       = {1611.09351},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Bergstra16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM15,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Probabilistic Thread Algebra},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {25},
  number       = {2},
  pages        = {211--243},
  year         = {2015},
  url          = {https://doi.org/10.7561/SACS.2015.2.211},
  doi          = {10.7561/SACS.2015.2.211},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM15,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On Algorithmic Equivalence of Instruction Sequences for Computing
                  Bit String Functions},
  journal      = {Fundam. Informaticae},
  volume       = {138},
  number       = {4},
  pages        = {411--434},
  year         = {2015},
  url          = {https://doi.org/10.3233/FI-2015-1219},
  doi          = {10.3233/FI-2015-1219},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BergstraB15,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Note on paraconsistency and reasoning about fractions},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {25},
  number       = {2},
  pages        = {120--124},
  year         = {2015},
  url          = {https://doi.org/10.1080/11663081.2015.1047232},
  doi          = {10.1080/11663081.2015.1047232},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BergstraB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM15,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Division by zero in non-involutive meadows},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {1},
  pages        = {1--12},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2014.10.001},
  doi          = {10.1016/J.JAL.2014.10.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BergstraM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraBP15,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Alban Ponse},
  title        = {Equations for formally real meadows},
  journal      = {J. Appl. Log.},
  volume       = {13},
  number       = {2},
  pages        = {1--23},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jal.2015.01.004},
  doi          = {10.1016/J.JAL.2015.01.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BergstraBP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergstraP15a,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  editor       = {Roland Meyer and
                  Andr{\'{e}} Platzer and
                  Heike Wehrheim},
  title        = {Evaluation Trees for Proposition Algebra - The Case for Free and Repetition-Proof
                  Valuation Congruence},
  booktitle    = {Correct System Design - Symposium in Honor of Ernst-R{\"{u}}diger
                  Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany,
                  September 8-9, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9360},
  pages        = {44--61},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23506-6\_6},
  doi          = {10.1007/978-3-319-23506-6\_6},
  timestamp    = {Mon, 02 Sep 2019 16:45:58 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BergstraP15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergstraP15,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  editor       = {Rocco De Nicola and
                  Rolf Hennicker},
  title        = {Division by Zero in Common Meadows},
  booktitle    = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
                  on the Occasion of His Retirement from the Chair of Programming and
                  Software Engineering},
  series       = {Lecture Notes in Computer Science},
  volume       = {8950},
  pages        = {46--61},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-15545-6\_6},
  doi          = {10.1007/978-3-319-15545-6\_6},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BergstraP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM15,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On instruction sets for Boolean registers in program algebra},
  journal      = {CoRR},
  volume       = {abs/1502.00238},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.00238},
  eprinttype    = {arXiv},
  eprint       = {1502.00238},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bergstra15,
  author       = {Jan A. Bergstra},
  title        = {Architectural Adequacy and Evolutionary Adequacy as Characteristics
                  of a Candidate Informational Money},
  journal      = {CoRR},
  volume       = {abs/1504.07184},
  year         = {2015},
  url          = {http://arxiv.org/abs/1504.07184},
  eprinttype    = {arXiv},
  eprint       = {1504.07184},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Bergstra15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraP15,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Evaluation trees for proposition algebra},
  journal      = {CoRR},
  volume       = {abs/1504.08321},
  year         = {2015},
  url          = {http://arxiv.org/abs/1504.08321},
  eprinttype    = {arXiv},
  eprint       = {1504.08321},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1507-00548,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {A negative result on algebraic specifications of the meadow of rational
                  numbers},
  journal      = {CoRR},
  volume       = {abs/1507.00548},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.00548},
  eprinttype    = {arXiv},
  eprint       = {1507.00548},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1507-00548.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM15a,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Contradiction-tolerant process algebra with propositional signals},
  journal      = {CoRR},
  volume       = {abs/1508.06899},
  year         = {2015},
  url          = {http://arxiv.org/abs/1508.06899},
  eprinttype    = {arXiv},
  eprint       = {1508.06899},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1510-04021,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Subvarieties of the variety of meadows},
  journal      = {CoRR},
  volume       = {abs/1510.04021},
  year         = {2015},
  url          = {http://arxiv.org/abs/1510.04021},
  eprinttype    = {arXiv},
  eprint       = {1510.04021},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1510-04021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM15b,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Transformation of fractions into simple fractions in divisive meadows},
  journal      = {CoRR},
  volume       = {abs/1510.06233},
  year         = {2015},
  url          = {http://arxiv.org/abs/1510.06233},
  eprinttype    = {arXiv},
  eprint       = {1510.06233},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM14,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction Sequence Based Non-uniform Complexity Classes},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {24},
  number       = {1},
  pages        = {47--89},
  year         = {2014},
  url          = {https://doi.org/10.7561/SACS.2014.1.47},
  doi          = {10.7561/SACS.2014.1.47},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergstraT14,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Editor's Note},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {83},
  number       = {2},
  pages        = {82},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.jlamp.2014.04.002},
  doi          = {10.1016/J.JLAMP.2014.04.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BergstraT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraB14,
  author       = {Jan A. Bergstra and
                  Mark Burgess},
  title        = {Promises, Impositions, and other Directionals},
  journal      = {CoRR},
  volume       = {abs/1401.3381},
  year         = {2014},
  url          = {http://arxiv.org/abs/1401.3381},
  eprinttype    = {arXiv},
  eprint       = {1401.3381},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraW14,
  author       = {Jan A. Bergstra and
                  Peter Weijland},
  title        = {Bitcoin: a Money-like Informational Commodity},
  journal      = {CoRR},
  volume       = {abs/1402.4778},
  year         = {2014},
  url          = {http://arxiv.org/abs/1402.4778},
  eprinttype    = {arXiv},
  eprint       = {1402.4778},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM14,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On algorithmic equivalence of instruction sequences for computing
                  bit string functions},
  journal      = {CoRR},
  volume       = {abs/1402.4950},
  year         = {2014},
  url          = {http://arxiv.org/abs/1402.4950},
  eprinttype    = {arXiv},
  eprint       = {1402.4950},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM14d,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Division by zero in non-involutive meadows},
  journal      = {CoRR},
  volume       = {abs/1406.2092},
  year         = {2014},
  url          = {http://arxiv.org/abs/1406.2092},
  eprinttype    = {arXiv},
  eprint       = {1406.2092},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM14d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraP14,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Three Datatype Defining Rewrite Systems for Datatypes of Integers
                  each extending a Datatype of Naturals},
  journal      = {CoRR},
  volume       = {abs/1406.3280},
  year         = {2014},
  url          = {http://arxiv.org/abs/1406.3280},
  eprinttype    = {arXiv},
  eprint       = {1406.3280},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM14a,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A Hoare-like logic of asserted single-pass instruction sequences},
  journal      = {CoRR},
  volume       = {abs/1408.2955},
  year         = {2014},
  url          = {http://arxiv.org/abs/1408.2955},
  eprinttype    = {arXiv},
  eprint       = {1408.2955},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM14b,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A Thread Algebra with Probabilistic Features},
  journal      = {CoRR},
  volume       = {abs/1409.6873},
  year         = {2014},
  url          = {http://arxiv.org/abs/1409.6873},
  eprinttype    = {arXiv},
  eprint       = {1409.6873},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM14b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraB14a,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Note on paraconsistency and the logic of fractions},
  journal      = {CoRR},
  volume       = {abs/1410.8692},
  year         = {2014},
  url          = {http://arxiv.org/abs/1410.8692},
  eprinttype    = {arXiv},
  eprint       = {1410.8692},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraB14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bergstra14,
  author       = {Jan A. Bergstra},
  title        = {Personal Multi-threading},
  journal      = {CoRR},
  volume       = {abs/1412.3579},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.3579},
  eprinttype    = {arXiv},
  eprint       = {1412.3579},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Bergstra14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM14c,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction sequence size complexity of parity},
  journal      = {CoRR},
  volume       = {abs/1412.6787},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.6787},
  eprinttype    = {arXiv},
  eprint       = {1412.6787},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM14c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BergstraBMW13,
  author       = {Jan A. Bergstra and
                  Jens Blanck and
                  Faron Moller and
                  Stanley S. Wainer},
  title        = {Guest Editorial},
  journal      = {Comput. J.},
  volume       = {56},
  number       = {1},
  pages        = {2},
  year         = {2013},
  url          = {https://doi.org/10.1093/comjnl/bxs147},
  doi          = {10.1093/COMJNL/BXS147},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BergstraBMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BergstraBP13,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Alban Ponse},
  title        = {Cancellation Meadows: {A} Generic Basis Theorem and Some Applications},
  journal      = {Comput. J.},
  volume       = {56},
  number       = {1},
  pages        = {3--14},
  year         = {2013},
  url          = {https://doi.org/10.1093/comjnl/bxs028},
  doi          = {10.1093/COMJNL/BXS028},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BergstraBP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM13,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Timed Tuplix Calculus and the Wesseling and van den Bergh Equation},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {23},
  number       = {2},
  pages        = {169--190},
  year         = {2013},
  url          = {https://doi.org/10.7561/SACS.2013.2.169},
  doi          = {10.7561/SACS.2013.2.169},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BergstraKR13,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop and
                  Jan Rutten},
  title        = {Obituary for Jaco de Bakker, 1939-2012},
  journal      = {Bull. {EATCS}},
  volume       = {109},
  pages        = {14--16},
  year         = {2013},
  url          = {http://eatcs.org/beatcs/index.php/beatcs/article/view/24},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eatcs/BergstraKR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM13,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting},
  journal      = {Fundam. Informaticae},
  volume       = {128},
  number       = {4},
  pages        = {367--412},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-950},
  doi          = {10.3233/FI-2013-950},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraM13,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A Process Calculus with Finitary Comprehended Terms},
  journal      = {Theory Comput. Syst.},
  volume       = {53},
  number       = {4},
  pages        = {645--668},
  year         = {2013},
  url          = {https://doi.org/10.1007/s00224-013-9468-x},
  doi          = {10.1007/S00224-013-9468-X},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mst/BergstraM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Bergstra13,
  author       = {Jan A. Bergstra},
  title        = {Editorial},
  journal      = {Sci. Comput. Program.},
  volume       = {78},
  number       = {9},
  pages        = {1207},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.scico.2010.06.001},
  doi          = {10.1016/J.SCICO.2010.06.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Bergstra13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-3297,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction sequence based non-uniform complexity classes},
  journal      = {CoRR},
  volume       = {abs/1301.3297},
  year         = {2013},
  url          = {http://arxiv.org/abs/1301.3297},
  eprinttype    = {arXiv},
  eprint       = {1301.3297},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1301-3297.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-0382,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg and
                  Gheorghe Stefanescu},
  title        = {Network algebra for synchronous dataflow},
  journal      = {CoRR},
  volume       = {abs/1303.0382},
  year         = {2013},
  url          = {http://arxiv.org/abs/1303.0382},
  eprinttype    = {arXiv},
  eprint       = {1303.0382},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1303-0382.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-4758,
  author       = {Jan A. Bergstra and
                  Karl de Leeuw},
  title        = {Bitcoin and Beyond: Exclusively Informational Monies},
  journal      = {CoRR},
  volume       = {abs/1304.4758},
  year         = {2013},
  url          = {http://arxiv.org/abs/1304.4758},
  eprinttype    = {arXiv},
  eprint       = {1304.4758},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1304-4758.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1305-5956,
  author       = {Jan A. Bergstra and
                  Karl de Leeuw},
  title        = {Questions related to Bitcoin and other Informational Money},
  journal      = {CoRR},
  volume       = {abs/1305.5956},
  year         = {2013},
  url          = {http://arxiv.org/abs/1305.5956},
  eprinttype    = {arXiv},
  eprint       = {1305.5956},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1305-5956.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Bergstra13,
  author       = {Jan A. Bergstra},
  title        = {Decision Taking versus Promise Issuing},
  journal      = {CoRR},
  volume       = {abs/1306.6412},
  year         = {2013},
  url          = {http://arxiv.org/abs/1306.6412},
  eprinttype    = {arXiv},
  eprint       = {1306.6412},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Bergstra13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM13,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction sequence expressions for the secure hash algorithm {SHA-256}},
  journal      = {CoRR},
  volume       = {abs/1308.0219},
  year         = {2013},
  url          = {http://arxiv.org/abs/1308.0219},
  eprinttype    = {arXiv},
  eprint       = {1308.0219},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraBP13,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Alban Ponse},
  title        = {Equations for formally real meadows},
  journal      = {CoRR},
  volume       = {abs/1310.5011},
  year         = {2013},
  url          = {http://arxiv.org/abs/1310.5011},
  eprinttype    = {arXiv},
  eprint       = {1310.5011},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraBP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM13a,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction sequence expressions for the Karatsuba multiplication
                  algorithm},
  journal      = {CoRR},
  volume       = {abs/1312.1529},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.1529},
  eprinttype    = {arXiv},
  eprint       = {1312.1529},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM13a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM13b,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Long multiplication by instruction sequences with backward jump instructions},
  journal      = {CoRR},
  volume       = {abs/1312.1812},
  year         = {2013},
  url          = {http://arxiv.org/abs/1312.1812},
  eprinttype    = {arXiv},
  eprint       = {1312.1812},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM13b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/atlantissc/BergstraM12,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction Sequences for Computer Science},
  series       = {Atlantis Studies in Computing},
  volume       = {2},
  publisher    = {Atlantis Press},
  year         = {2012},
  url          = {https://doi.org/10.2991/978-94-91216-65-7},
  doi          = {10.2991/978-94-91216-65-7},
  isbn         = {978-94-91216-64-0},
  timestamp    = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/atlantissc/BergstraM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraM12,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction sequence processing operators},
  journal      = {Acta Informatica},
  volume       = {49},
  number       = {3},
  pages        = {139--172},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00236-012-0154-2},
  doi          = {10.1007/S00236-012-0154-2},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BergstraM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM12,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Indirect Jumps Improve Instruction Sequence Performance},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {22},
  number       = {2},
  pages        = {253--265},
  year         = {2012},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXII2\&\#38;a=0},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM12,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On the Behaviours Produced by Instruction Sequences under Execution},
  journal      = {Fundam. Informaticae},
  volume       = {120},
  number       = {2},
  pages        = {111--144},
  year         = {2012},
  url          = {https://doi.org/10.3233/FI-2012-753},
  doi          = {10.3233/FI-2012-753},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraM12,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On the Expressiveness of Single-Pass Instruction Sequences},
  journal      = {Theory Comput. Syst.},
  volume       = {50},
  number       = {2},
  pages        = {313--328},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00224-010-9301-8},
  doi          = {10.1007/S00224-010-9301-8},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mst/BergstraM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraB12,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {On the Contribution of Backward Jumps to Instruction Sequence Expressiveness},
  journal      = {Theory Comput. Syst.},
  volume       = {50},
  number       = {4},
  pages        = {706--720},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00224-011-9376-x},
  doi          = {10.1007/S00224-011-9376-X},
  timestamp    = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/BergstraB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-3929,
  author       = {Jan A. Bergstra},
  title        = {About Instruction Sequence Testing},
  journal      = {CoRR},
  volume       = {abs/1201.3929},
  year         = {2012},
  url          = {http://arxiv.org/abs/1201.3929},
  eprinttype    = {arXiv},
  eprint       = {1201.3929},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1201-3929.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-6028,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Turing Impossibility Properties for Stack Machine Programming},
  journal      = {CoRR},
  volume       = {abs/1201.6028},
  year         = {2012},
  url          = {http://arxiv.org/abs/1201.6028},
  eprinttype    = {arXiv},
  eprint       = {1201.6028},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1201-6028.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-1881,
  author       = {Jan A. Bergstra},
  title        = {Four Conceptions of Instruction Sequence Faults},
  journal      = {CoRR},
  volume       = {abs/1204.1881},
  year         = {2012},
  url          = {http://arxiv.org/abs/1204.1881},
  eprinttype    = {arXiv},
  eprint       = {1204.1881},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1204-1881.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-3249,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Process algebra with conditionals in the presence of epsilon},
  journal      = {CoRR},
  volume       = {abs/1204.3249},
  year         = {2012},
  url          = {http://arxiv.org/abs/1204.3249},
  eprinttype    = {arXiv},
  eprint       = {1204.3249},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1204-3249.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-4194,
  author       = {Jan A. Bergstra},
  title        = {Decision Taking as a Service},
  journal      = {CoRR},
  volume       = {abs/1205.4194},
  year         = {2012},
  url          = {http://arxiv.org/abs/1205.4194},
  eprinttype    = {arXiv},
  eprint       = {1205.4194},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1205-4194.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-6177,
  author       = {Jan A. Bergstra},
  title        = {Decision Taking versus Action Determination},
  journal      = {CoRR},
  volume       = {abs/1205.6177},
  year         = {2012},
  url          = {http://arxiv.org/abs/1205.6177},
  eprinttype    = {arXiv},
  eprint       = {1205.6177},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1205-6177.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-2460,
  author       = {Jan A. Bergstra},
  title        = {Decision Taking for Selling Thread Startup},
  journal      = {CoRR},
  volume       = {abs/1208.2460},
  year         = {2012},
  url          = {http://arxiv.org/abs/1208.2460},
  eprinttype    = {arXiv},
  eprint       = {1208.2460},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2460.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-6636,
  author       = {Jan A. Bergstra},
  title        = {Informaticology: combining Computer Science, Data Science, and Fiction
                  Science},
  journal      = {CoRR},
  volume       = {abs/1210.6636},
  year         = {2012},
  url          = {http://arxiv.org/abs/1210.6636},
  eprinttype    = {arXiv},
  eprint       = {1210.6636},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-6636.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM11,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Thread Extraction for Polyadic Instruction Sequences},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {21},
  number       = {2},
  pages        = {283--310},
  year         = {2011},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI2\&\#38;a=4},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BergstraM11,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Thread algebra for poly-threading},
  journal      = {Formal Aspects Comput.},
  volume       = {23},
  number       = {4},
  pages        = {567--583},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00165-011-0178-3},
  doi          = {10.1007/S00165-011-0178-3},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BergstraM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM11,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Inversive meadows and divisive meadows},
  journal      = {J. Appl. Log.},
  volume       = {9},
  number       = {3},
  pages        = {203--220},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.jal.2011.03.001},
  doi          = {10.1016/J.JAL.2011.03.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BergstraM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraB11,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Straight-line Instruction Sequence Completeness for Total Calculation
                  on Cancellation Meadows},
  journal      = {Theory Comput. Syst.},
  volume       = {48},
  number       = {4},
  pages        = {840--864},
  year         = {2011},
  url          = {https://doi.org/10.1007/s00224-010-9272-9},
  doi          = {10.1007/S00224-010-9272-9},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mst/BergstraB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Bergstra11,
  author       = {Jan A. Bergstra},
  title        = {Editorial},
  journal      = {Sci. Comput. Program.},
  volume       = {76},
  number       = {7},
  pages        = {541},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.scico.2009.12.001},
  doi          = {10.1016/J.SCICO.2009.12.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Bergstra11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraP11,
  author       = {Jan A. Bergstra and
                  Jaco van de Pol},
  title        = {A calculus for four-valued sequential logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {412},
  number       = {28},
  pages        = {3122--3128},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.tcs.2011.02.035},
  doi          = {10.1016/J.TCS.2011.02.035},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/BergstraP11,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Proposition algebra},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {12},
  number       = {3},
  pages        = {21:1--21:36},
  year         = {2011},
  url          = {https://doi.org/10.1145/1929954.1929958},
  doi          = {10.1145/1929954.1929958},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/BergstraP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/BergstraP11,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  editor       = {Farhad Arbab and
                  Marjan Sirjani},
  title        = {Proposition Algebra and Short-Circuit Logic},
  booktitle    = {Fundamentals of Software Engineering - 4th {IPM} International Conference,
                  {FSEN} 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7141},
  pages        = {15--31},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-29320-7\_2},
  doi          = {10.1007/978-3-642-29320-7\_2},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/fsen/BergstraP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-4515,
  author       = {Jan A. Bergstra},
  title        = {Real Islamic Logic},
  journal      = {CoRR},
  volume       = {abs/1103.4515},
  year         = {2011},
  url          = {http://arxiv.org/abs/1103.4515},
  eprinttype    = {arXiv},
  eprint       = {1103.4515},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1103-4515.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-6196,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On the behaviours produced by instruction sequences under execution},
  journal      = {CoRR},
  volume       = {abs/1106.6196},
  year         = {2011},
  url          = {http://arxiv.org/abs/1106.6196},
  eprinttype    = {arXiv},
  eprint       = {1106.6196},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1106-6196.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-4684,
  author       = {Jan A. Bergstra and
                  Guus P. A. J. Delen and
                  S. F. M. van Vlijmen},
  title        = {Introducing Sourcements},
  journal      = {CoRR},
  volume       = {abs/1107.4684},
  year         = {2011},
  url          = {http://arxiv.org/abs/1107.4684},
  eprinttype    = {arXiv},
  eprint       = {1107.4684},
  timestamp    = {Fri, 23 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1107-4684.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-6536,
  author       = {Jan A. Bergstra and
                  Guus P. A. J. Delen and
                  S. F. M. van Vlijmen},
  title        = {Outsourcing Competence},
  journal      = {CoRR},
  volume       = {abs/1109.6536},
  year         = {2011},
  url          = {http://arxiv.org/abs/1109.6536},
  eprinttype    = {arXiv},
  eprint       = {1109.6536},
  timestamp    = {Fri, 23 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-6536.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-1866,
  author       = {Jan A. Bergstra},
  title        = {Putting Instruction Sequences into Effect},
  journal      = {CoRR},
  volume       = {abs/1110.1866},
  year         = {2011},
  url          = {http://arxiv.org/abs/1110.1866},
  eprinttype    = {arXiv},
  eprint       = {1110.1866},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-1866.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-1957,
  author       = {Jan A. Bergstra and
                  Guus P. A. J. Delen and
                  S. F. M. van Vlijmen},
  title        = {Stratified Outsourcing Theory},
  journal      = {CoRR},
  volume       = {abs/1110.1957},
  year         = {2011},
  url          = {http://arxiv.org/abs/1110.1957},
  eprinttype    = {arXiv},
  eprint       = {1110.1957},
  timestamp    = {Fri, 23 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1110-1957.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-5840,
  author       = {Jan A. Bergstra},
  title        = {Informatics Perspectives on Decision Taking},
  journal      = {CoRR},
  volume       = {abs/1112.5840},
  year         = {2011},
  url          = {http://arxiv.org/abs/1112.5840},
  eprinttype    = {arXiv},
  eprint       = {1112.5840},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1112-5840.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM10,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {An Interface Group for Process Components},
  journal      = {Fundam. Informaticae},
  volume       = {99},
  number       = {4},
  pages        = {355--382},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-254},
  doi          = {10.3233/FI-2010-254},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM10a,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Data Linkage Dynamics with Shedding},
  journal      = {Fundam. Informaticae},
  volume       = {103},
  number       = {1-4},
  pages        = {31--52},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-317},
  doi          = {10.3233/FI-2010-317},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM10a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraM10,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A thread calculus with molecular dynamics},
  journal      = {Inf. Comput.},
  volume       = {208},
  number       = {7},
  pages        = {817--844},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ic.2010.01.004},
  doi          = {10.1016/J.IC.2010.01.004},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BergstraM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergstraM10,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On the operating unit size of load/store architectures},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {20},
  number       = {3},
  pages        = {395--417},
  year         = {2010},
  url          = {https://doi.org/10.1017/S0960129509990314},
  doi          = {10.1017/S0960129509990314},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BergstraM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-5662,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {On the contribution of backward jumps to instruction sequence expressiveness},
  journal      = {CoRR},
  volume       = {abs/1005.5662},
  year         = {2010},
  url          = {http://arxiv.org/abs/1005.5662},
  eprinttype    = {arXiv},
  eprint       = {1005.5662},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1005-5662.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-0813,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On the definition of a theoretical concept of an operating system},
  journal      = {CoRR},
  volume       = {abs/1006.0813},
  year         = {2010},
  url          = {http://arxiv.org/abs/1006.0813},
  eprinttype    = {arXiv},
  eprint       = {1006.0813},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1006-0813.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-0616,
  author       = {Jan A. Bergstra},
  title        = {Formaleuros, formalcoins and virtual monies},
  journal      = {CoRR},
  volume       = {abs/1008.0616},
  year         = {2010},
  url          = {http://arxiv.org/abs/1008.0616},
  eprinttype    = {arXiv},
  eprint       = {1008.0616},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1008-0616.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-2902,
  author       = {Jan A. Bergstra},
  title        = {Informal Control code logic},
  journal      = {CoRR},
  volume       = {abs/1009.2902},
  year         = {2010},
  url          = {http://arxiv.org/abs/1009.2902},
  eprinttype    = {arXiv},
  eprint       = {1009.2902},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1009-2902.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-2850,
  author       = {Jan A. Bergstra},
  title        = {Steering Fragments of Instruction Sequences},
  journal      = {CoRR},
  volume       = {abs/1010.2850},
  year         = {2010},
  url          = {http://arxiv.org/abs/1010.2850},
  eprinttype    = {arXiv},
  eprint       = {1010.2850},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-2850.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-3674,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Short-circuit logic},
  journal      = {CoRR},
  volume       = {abs/1010.3674},
  year         = {2010},
  url          = {http://arxiv.org/abs/1010.3674},
  eprinttype    = {arXiv},
  eprint       = {1010.3674},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-3674.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-5059,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {On Hoare-McCarthy algebras},
  journal      = {CoRR},
  volume       = {abs/1012.5059},
  year         = {2010},
  url          = {http://arxiv.org/abs/1012.5059},
  eprinttype    = {arXiv},
  eprint       = {1012.5059},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-5059.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-5739,
  author       = {Jan A. Bergstra and
                  S. F. M. van Vlijmen},
  title        = {Business Mereology: Imaginative Definitions of Insourcing and Outsourcing
                  Transformations},
  journal      = {CoRR},
  volume       = {abs/1012.5739},
  year         = {2010},
  url          = {http://arxiv.org/abs/1012.5739},
  eprinttype    = {arXiv},
  eprint       = {1012.5739},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1012-5739.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraM09,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Machine structure oriented control code logic},
  journal      = {Acta Informatica},
  volume       = {46},
  number       = {5},
  pages        = {375--401},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00236-009-0099-2},
  doi          = {10.1007/S00236-009-0099-2},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BergstraM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraP09,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {An Instruction Sequence Semigroup with Involutive Anti-Automorphisms},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {19},
  pages        = {57--92},
  year         = {2009},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&\#38;a=2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM09,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction Sequences with Dynamically Instantiated Instructions},
  journal      = {Fundam. Informaticae},
  volume       = {96},
  number       = {1-2},
  pages        = {27--48},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-165},
  doi          = {10.3233/FI-2009-165},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraHT09,
  author       = {Jan A. Bergstra and
                  Yoram Hirshfeld and
                  John V. Tucker},
  title        = {Meadows and the equational specification of division},
  journal      = {Theor. Comput. Sci.},
  volume       = {410},
  number       = {12-13},
  pages        = {1261--1271},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.tcs.2008.12.015},
  doi          = {10.1016/J.TCS.2008.12.015},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraHT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BergstraM09,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  editor       = {Martin Leucker and
                  Carroll Morgan},
  title        = {Transmission Protocols for Instruction Streams},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2009, 6th International
                  Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5684},
  pages        = {127--139},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-03466-4\_8},
  doi          = {10.1007/978-3-642-03466-4\_8},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/BergstraM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-3003,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Timed tuplix calculus and the Wesseling and van den Berg equation},
  journal      = {CoRR},
  volume       = {abs/0901.3003},
  year         = {2009},
  url          = {http://arxiv.org/abs/0901.3003},
  eprinttype    = {arXiv},
  eprint       = {0901.3003},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0901-3003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-3012,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Meadow Enriched {ACP} Process Algebras},
  journal      = {CoRR},
  volume       = {abs/0901.3012},
  year         = {2009},
  url          = {http://arxiv.org/abs/0901.3012},
  eprinttype    = {arXiv},
  eprint       = {0901.3012},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0901-3012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-4664,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Square root meadows},
  journal      = {CoRR},
  volume       = {abs/0901.4664},
  year         = {2009},
  url          = {http://arxiv.org/abs/0901.4664},
  eprinttype    = {arXiv},
  eprint       = {0901.4664},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0901-4664.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0902-2859,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Transmission protocols for instruction streams},
  journal      = {CoRR},
  volume       = {abs/0902.2859},
  year         = {2009},
  url          = {http://arxiv.org/abs/0902.2859},
  eprinttype    = {arXiv},
  eprint       = {0902.2859},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0902-2859.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-1352,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {An Instruction Sequence Semigroup with Involutive Anti-Automorphisms},
  journal      = {CoRR},
  volume       = {abs/0903.1352},
  year         = {2009},
  url          = {http://arxiv.org/abs/0903.1352},
  eprinttype    = {arXiv},
  eprint       = {0903.1352},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0903-1352.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2914,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A process calculus with finitary comprehended terms},
  journal      = {CoRR},
  volume       = {abs/0903.2914},
  year         = {2009},
  url          = {http://arxiv.org/abs/0903.2914},
  eprinttype    = {arXiv},
  eprint       = {0903.2914},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0903-2914.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-2257,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A protocol for instruction stream processing},
  journal      = {CoRR},
  volume       = {abs/0905.2257},
  year         = {2009},
  url          = {http://arxiv.org/abs/0905.2257},
  eprinttype    = {arXiv},
  eprint       = {0905.2257},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0905-2257.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-4612,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Straight-line instruction sequence completeness for total calculation
                  on cancellation meadows},
  journal      = {CoRR},
  volume       = {abs/0905.4612},
  year         = {2009},
  url          = {http://arxiv.org/abs/0905.4612},
  eprinttype    = {arXiv},
  eprint       = {0905.4612},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0905-4612.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-3083,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction sequence notations with probabilistic instructions},
  journal      = {CoRR},
  volume       = {abs/0906.3083},
  year         = {2009},
  url          = {http://arxiv.org/abs/0906.3083},
  eprinttype    = {arXiv},
  eprint       = {0906.3083},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0906-3083.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM09,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Inversive Meadows and Divisive Meadows},
  journal      = {CoRR},
  volume       = {abs/0907.0540},
  year         = {2009},
  url          = {http://arxiv.org/abs/0907.0540},
  eprinttype    = {arXiv},
  eprint       = {0907.0540},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-2088,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Arithmetical meadows},
  journal      = {CoRR},
  volume       = {abs/0909.2088},
  year         = {2009},
  url          = {http://arxiv.org/abs/0909.2088},
  eprinttype    = {arXiv},
  eprint       = {0909.2088},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0909-2088.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-2089,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Indirect jumps improve instruction sequence performance},
  journal      = {CoRR},
  volume       = {abs/0909.2089},
  year         = {2009},
  url          = {http://arxiv.org/abs/0909.2089},
  eprinttype    = {arXiv},
  eprint       = {0909.2089},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0909-2089.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-2839,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {A progression ring for interfaces of instruction sequences, threads,
                  and services},
  journal      = {CoRR},
  volume       = {abs/0909.2839},
  year         = {2009},
  url          = {http://arxiv.org/abs/0909.2839},
  eprinttype    = {arXiv},
  eprint       = {0909.2839},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0909-2839.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraM09a,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Partial Komori fields and imperative Komori fields},
  journal      = {CoRR},
  volume       = {abs/0909.5271},
  year         = {2009},
  url          = {http://arxiv.org/abs/0909.5271},
  eprinttype    = {arXiv},
  eprint       = {0909.5271},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraM09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-5564,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction sequence processing operators},
  journal      = {CoRR},
  volume       = {abs/0910.5564},
  year         = {2009},
  url          = {http://arxiv.org/abs/0910.5564},
  eprinttype    = {arXiv},
  eprint       = {0910.5564},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0910-5564.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-1851,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Functional units for natural numbers},
  journal      = {CoRR},
  volume       = {abs/0911.1851},
  year         = {2009},
  url          = {http://arxiv.org/abs/0911.1851},
  eprinttype    = {arXiv},
  eprint       = {0911.1851},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-1851.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-5018,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Autosolvability of halting problem instances for instruction sequences},
  journal      = {CoRR},
  volume       = {abs/0911.5018},
  year         = {2009},
  url          = {http://arxiv.org/abs/0911.5018},
  eprinttype    = {arXiv},
  eprint       = {0911.5018},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0911-5018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0912-4637,
  author       = {Jan A. Bergstra and
                  Mark Burgess},
  title        = {Local and Global Trust Based on the Concept of Promises},
  journal      = {CoRR},
  volume       = {abs/0912.4637},
  year         = {2009},
  url          = {http://arxiv.org/abs/0912.4637},
  eprinttype    = {arXiv},
  eprint       = {0912.4637},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0912-4637.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraPZ08,
  author       = {Jan A. Bergstra and
                  Alban Ponse and
                  Mark van der Zwaag},
  title        = {Tuplix Calculus},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {18},
  pages        = {35--61},
  year         = {2008},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XVIII\&\#38;a=2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraPZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/BergstraM08,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Distributed strategic interleaving with load balancing},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {24},
  number       = {6},
  pages        = {530--548},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.future.2007.08.001},
  doi          = {10.1016/J.FUTURE.2007.08.001},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/BergstraM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM08,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Simulating Turing machines on Maurer machines},
  journal      = {J. Appl. Log.},
  volume       = {6},
  number       = {1},
  pages        = {1--23},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jal.2007.04.001},
  doi          = {10.1016/J.JAL.2007.04.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BergstraM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraM08a,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Program algebra with a jump-shift instruction},
  journal      = {J. Appl. Log.},
  volume       = {6},
  number       = {4},
  pages        = {553--563},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.jal.2008.07.001},
  doi          = {10.1016/J.JAL.2008.07.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BergstraM08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergstraM08,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Maurer computers for pipelined instruction processing},
  journal      = {Math. Struct. Comput. Sci.},
  volume       = {18},
  number       = {2},
  pages        = {373--409},
  year         = {2008},
  url          = {https://doi.org/10.1017/S0960129507006548},
  doi          = {10.1017/S0960129507006548},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mscs/BergstraM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraT08,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Division Safe Calculation in Totalised Fields},
  journal      = {Theory Comput. Syst.},
  volume       = {43},
  number       = {3-4},
  pages        = {410--424},
  year         = {2008},
  url          = {https://doi.org/10.1007/s00224-007-9035-4},
  doi          = {10.1007/S00224-007-9035-4},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mst/BergstraT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergstraHT08,
  author       = {Jan A. Bergstra and
                  Yoram Hirshfeld and
                  John V. Tucker},
  editor       = {Arnon Avron and
                  Nachum Dershowitz and
                  Alexander Rabinovich},
  title        = {Fields, Meadows and Abstract Data Types},
  booktitle    = {Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot
                  on the Occasion of His 85th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4800},
  pages        = {166--178},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78127-1\_10},
  doi          = {10.1007/978-3-540-78127-1\_10},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BergstraHT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0801-2226,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Programming an interpreter using molecular dynamics},
  journal      = {CoRR},
  volume       = {abs/0801.2226},
  year         = {2008},
  url          = {http://arxiv.org/abs/0801.2226},
  eprinttype    = {arXiv},
  eprint       = {0801.2226},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0801-2226.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-1578,
  author       = {Jan A. Bergstra and
                  Kees Middelburg},
  title        = {Thread extraction for polyadic instruction sequences},
  journal      = {CoRR},
  volume       = {abs/0802.1578},
  year         = {2008},
  url          = {http://arxiv.org/abs/0802.1578},
  eprinttype    = {arXiv},
  eprint       = {0802.1578},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0802-1578.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-3617,
  author       = {Jan A. Bergstra and
                  Sanne Nolst Trenit{\'{e}} and
                  Mark van der Zwaag},
  title        = {Towards a formalization of budgets},
  journal      = {CoRR},
  volume       = {abs/0802.3617},
  year         = {2008},
  url          = {http://arxiv.org/abs/0802.3617},
  eprinttype    = {arXiv},
  eprint       = {0802.3617},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0802-3617.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0803-0378,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Thread algebra for sequential poly-threading},
  journal      = {CoRR},
  volume       = {abs/0803.0378},
  year         = {2008},
  url          = {http://arxiv.org/abs/0803.0378},
  eprinttype    = {arXiv},
  eprint       = {0803.0378},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0803-0378.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraBP08,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Alban Ponse},
  title        = {Cancellation Meadows: a Generic Basis Theorem and Some Applications},
  journal      = {CoRR},
  volume       = {abs/0803.3969},
  year         = {2008},
  url          = {http://arxiv.org/abs/0803.3969},
  eprinttype    = {arXiv},
  eprint       = {0803.3969},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraBP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BergstraP08,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Differential Meadows},
  journal      = {CoRR},
  volume       = {abs/0804.3336},
  year         = {2008},
  url          = {http://arxiv.org/abs/0804.3336},
  eprinttype    = {arXiv},
  eprint       = {0804.3336},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BergstraP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-4565,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Data linkage algebra, data linkage dynamics, and priority rewriting},
  journal      = {CoRR},
  volume       = {abs/0804.4565},
  year         = {2008},
  url          = {http://arxiv.org/abs/0804.4565},
  eprinttype    = {arXiv},
  eprint       = {0804.4565},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0804-4565.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0805-1806,
  author       = {Jan A. Bergstra and
                  Sanne Nolst Trenit{\'{e}} and
                  Mark van der Zwaag},
  title        = {Tuplix Calculus Specifications of Financial Transfer Networks},
  journal      = {CoRR},
  volume       = {abs/0805.1806},
  year         = {2008},
  url          = {http://arxiv.org/abs/0805.1806},
  eprinttype    = {arXiv},
  eprint       = {0805.1806},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0805-1806.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0806-4034,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Data linkage dynamics with shedding},
  journal      = {CoRR},
  volume       = {abs/0806.4034},
  year         = {2008},
  url          = {http://arxiv.org/abs/0806.4034},
  eprinttype    = {arXiv},
  eprint       = {0806.4034},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0806-4034.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-3648,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Proposition Algebra with Projective Limits},
  journal      = {CoRR},
  volume       = {abs/0807.3648},
  year         = {2008},
  url          = {http://arxiv.org/abs/0807.3648},
  eprinttype    = {arXiv},
  eprint       = {0807.3648},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0807-3648.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-0352,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction sequences and non-uniform complexity theory},
  journal      = {CoRR},
  volume       = {abs/0809.0352},
  year         = {2008},
  url          = {http://arxiv.org/abs/0809.0352},
  eprinttype    = {arXiv},
  eprint       = {0809.0352},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0809-0352.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0809-4635,
  author       = {Jan A. Bergstra and
                  Mark van der Zwaag},
  title        = {Mechanistic Behavior of Single-Pass Instruction Sequences},
  journal      = {CoRR},
  volume       = {abs/0809.4635},
  year         = {2008},
  url          = {http://arxiv.org/abs/0809.4635},
  eprinttype    = {arXiv},
  eprint       = {0809.4635},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0809-4635.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-1106,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On the expressiveness of single-pass instruction sequences},
  journal      = {CoRR},
  volume       = {abs/0810.1106},
  year         = {2008},
  url          = {http://arxiv.org/abs/0810.1106},
  eprinttype    = {arXiv},
  eprint       = {0810.1106},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0810-1106.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-1151,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {An Instruction Sequence Semigroup with Repeaters},
  journal      = {CoRR},
  volume       = {abs/0810.1151},
  year         = {2008},
  url          = {http://arxiv.org/abs/0810.1151},
  eprinttype    = {arXiv},
  eprint       = {0810.1151},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0810-1151.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0810-3294,
  author       = {Jan A. Bergstra and
                  Mark Burgess},
  title        = {A static theory of promises},
  journal      = {CoRR},
  volume       = {abs/0810.3294},
  year         = {2008},
  url          = {http://arxiv.org/abs/0810.3294},
  eprinttype    = {arXiv},
  eprint       = {0810.3294},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0810-3294.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-0436,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction sequences for the production of processes},
  journal      = {CoRR},
  volume       = {abs/0811.0436},
  year         = {2008},
  url          = {http://arxiv.org/abs/0811.0436},
  eprinttype    = {arXiv},
  eprint       = {0811.0436},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0811-0436.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraBP07,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Alban Ponse},
  title        = {Decision problems for pushdown threads},
  journal      = {Acta Informatica},
  volume       = {44},
  number       = {2},
  pages        = {75--90},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00236-007-0040-5},
  doi          = {10.1007/S00236-007-0040-5},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BergstraBP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraM07,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Synchronous cooperation for explicit multi-threading},
  journal      = {Acta Informatica},
  volume       = {44},
  number       = {7-8},
  pages        = {525--569},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00236-007-0057-9},
  doi          = {10.1007/S00236-007-0057-9},
  timestamp    = {Tue, 12 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BergstraM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM07,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction Sequences with Indirect Jumps},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {17},
  pages        = {19--46},
  year         = {2007},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XVII\&\#38;a=1},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/BergstraM07a,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Programming an Interpreter Using Molecular Dynamics},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {17},
  pages        = {47--81},
  year         = {2007},
  url          = {http://www.info.uaic.ro/bin/Annals/Article?v=XVII\&\#38;a=2},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/BergstraM07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BergstraM07,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Thread algebra for strategic interleaving},
  journal      = {Formal Aspects Comput.},
  volume       = {19},
  number       = {4},
  pages        = {445--474},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00165-007-0024-9},
  doi          = {10.1007/S00165-007-0024-9},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BergstraM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM07,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Maurer Computers with Single-Thread Control},
  journal      = {Fundam. Informaticae},
  volume       = {80},
  number       = {4},
  pages        = {333--362},
  year         = {2007},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-4-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BergstraT07,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {The rational numbers as an abstract data type},
  journal      = {J. {ACM}},
  volume       = {54},
  number       = {2},
  pages        = {7},
  year         = {2007},
  url          = {https://doi.org/10.1145/1219092.1219095},
  doi          = {10.1145/1219092.1219095},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BergstraT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BergstraP07,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Execution architectures for program algebra},
  journal      = {J. Appl. Log.},
  volume       = {5},
  number       = {1},
  pages        = {170--192},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jal.2005.10.013},
  doi          = {10.1016/J.JAL.2005.10.013},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/BergstraP07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergstraM07,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Preferential choice and coordination conditions},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {70},
  number       = {2},
  pages        = {172--200},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jlap.2006.08.004},
  doi          = {10.1016/J.JLAP.2006.08.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BergstraM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BergstraM07,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A Thread Algebra with Multi-Level Strategic Interleaving},
  journal      = {Theory Comput. Syst.},
  volume       = {41},
  number       = {1},
  pages        = {3--32},
  year         = {2007},
  url          = {https://doi.org/10.1007/s00224-006-1337-4},
  doi          = {10.1007/S00224-006-1337-4},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mst/BergstraM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BergstraK07,
  author       = {Jan A. Bergstra and
                  Paul Klint},
  title        = {About "trivial" software patents: The IsNot case},
  journal      = {Sci. Comput. Program.},
  volume       = {64},
  number       = {3},
  pages        = {264--285},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.09.003},
  doi          = {10.1016/J.SCICO.2006.09.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BergstraK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Bergstra07,
  author       = {Jan A. Bergstra},
  title        = {Letter from the editor},
  journal      = {Sci. Comput. Program.},
  volume       = {65},
  number       = {1},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.scico.2006.11.001},
  doi          = {10.1016/J.SCICO.2006.11.001},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/Bergstra07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0707-0744,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Mark Burgess},
  title        = {A process algebra based framework for promise theory},
  journal      = {CoRR},
  volume       = {abs/0707.0744},
  year         = {2007},
  url          = {http://arxiv.org/abs/0707.0744},
  eprinttype    = {arXiv},
  eprint       = {0707.0744},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0707-0744.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0707-1059,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Projection semantics for rigid loops},
  journal      = {CoRR},
  volume       = {abs/0707.1059},
  year         = {2007},
  url          = {http://arxiv.org/abs/0707.1059},
  eprinttype    = {arXiv},
  eprint       = {0707.1059},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0707-1059.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0707-1639,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Interface groups and financial transfer architectures},
  journal      = {CoRR},
  volume       = {abs/0707.1639},
  year         = {2007},
  url          = {http://arxiv.org/abs/0707.1639},
  eprinttype    = {arXiv},
  eprint       = {0707.1639},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0707-1639.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0829,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction sequences with indirect jumps},
  journal      = {CoRR},
  volume       = {abs/0711.0829},
  year         = {2007},
  url          = {http://arxiv.org/abs/0711.0829},
  eprinttype    = {arXiv},
  eprint       = {0711.0829},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0711-0829.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0834,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {An interface group for process components},
  journal      = {CoRR},
  volume       = {abs/0711.0834},
  year         = {2007},
  url          = {http://arxiv.org/abs/0711.0834},
  eprinttype    = {arXiv},
  eprint       = {0711.0834},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0711-0834.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0836,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Machine structure oriented control code logic},
  journal      = {CoRR},
  volume       = {abs/0711.0836},
  year         = {2007},
  url          = {http://arxiv.org/abs/0711.0836},
  eprinttype    = {arXiv},
  eprint       = {0711.0836},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0711-0836.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0838,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {On the operating unit size of load/store architectures},
  journal      = {CoRR},
  volume       = {abs/0711.0838},
  year         = {2007},
  url          = {http://arxiv.org/abs/0711.0838},
  eprinttype    = {arXiv},
  eprint       = {0711.0838},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0711-0838.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-0840,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {A thread calculus with molecular dynamics},
  journal      = {CoRR},
  volume       = {abs/0711.0840},
  year         = {2007},
  url          = {http://arxiv.org/abs/0711.0840},
  eprinttype    = {arXiv},
  eprint       = {0711.0840},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0711-0840.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0711-4217,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Instruction Sequences with Dynamically Instantiated Instructions},
  journal      = {CoRR},
  volume       = {abs/0711.4217},
  year         = {2007},
  url          = {http://arxiv.org/abs/0711.4217},
  eprinttype    = {arXiv},
  eprint       = {0711.4217},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0711-4217.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-1658,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Program algebra with a jump-shift instruction},
  journal      = {CoRR},
  volume       = {abs/0712.1658},
  year         = {2007},
  url          = {http://arxiv.org/abs/0712.1658},
  eprinttype    = {arXiv},
  eprint       = {0712.1658},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0712-1658.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-3423,
  author       = {Jan A. Bergstra and
                  Alban Ponse and
                  Mark van der Zwaag},
  title        = {Tuplix Calculus},
  journal      = {CoRR},
  volume       = {abs/0712.3423},
  year         = {2007},
  url          = {http://arxiv.org/abs/0712.3423},
  eprinttype    = {arXiv},
  eprint       = {0712.3423},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0712-3423.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM06,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Thread Algebra with Multi-Level Strategies},
  journal      = {Fundam. Informaticae},
  volume       = {71},
  number       = {2-3},
  pages        = {153--182},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi71-2-3-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraM06,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Splitting bisimulations and retrospective conditions},
  journal      = {Inf. Comput.},
  volume       = {204},
  number       = {7},
  pages        = {1083--1138},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.ic.2006.03.003},
  doi          = {10.1016/J.IC.2006.03.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BergstraM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergstraM06,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Continuity controlled hybrid automata},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {68},
  number       = {1-2},
  pages        = {5--53},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.jlap.2005.10.002},
  doi          = {10.1016/J.JLAP.2005.10.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BergstraM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergstraT06,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  editor       = {Kokichi Futatsugi and
                  Jean{-}Pierre Jouannaud and
                  Jos{\'{e}} Meseguer},
  title        = {Elementary Algebraic Specifications of the Rational Complex Numbers},
  booktitle    = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4060},
  pages        = {459--475},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11780274\_24},
  doi          = {10.1007/11780274\_24},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BergstraT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Bergstra06,
  author       = {Jan A. Bergstra},
  editor       = {Arnold Beckmann and
                  Ulrich Berger and
                  Benedikt L{\"{o}}we and
                  John V. Tucker},
  title        = {Elementary Algebraic Specifications of the Rational Function Field},
  booktitle    = {Logical Approaches to Computational Barriers, Second Conference on
                  Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3988},
  pages        = {40--54},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11780342\_5},
  doi          = {10.1007/11780342\_5},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Bergstra06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BergstraM08,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  editor       = {Catuscia Palamidessi and
                  Frank Valencia},
  title        = {Parallel Processes with Implicit Computational Capital},
  booktitle    = {Proceedings of the {LIX} Colloquium on Emerging Trends in Concurrency
                  Theory, {LIX} 2006, Paris, France, November 13-15, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {209},
  pages        = {55--81},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2008.04.004},
  doi          = {10.1016/J.ENTCS.2008.04.004},
  timestamp    = {Mon, 13 Feb 2023 14:19:55 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BergstraM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BergstraB05,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {An upper bound for the equational specification of finite state services},
  journal      = {Inf. Process. Lett.},
  volume       = {94},
  number       = {6},
  pages        = {267--269},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ipl.2005.02.010},
  doi          = {10.1016/J.IPL.2005.02.010},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BergstraB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergstraB05,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Network algebra in Java},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {62},
  number       = {2},
  pages        = {247--271},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.jlap.2004.03.011},
  doi          = {10.1016/J.JLAP.2004.03.011},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BergstraB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraM05,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Process algebra for hybrid systems},
  journal      = {Theor. Comput. Sci.},
  volume       = {335},
  number       = {2-3},
  pages        = {215--280},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2004.04.019},
  doi          = {10.1016/J.TCS.2004.04.019},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraB05,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Polarized process algebra with reactive composition},
  journal      = {Theor. Comput. Sci.},
  volume       = {343},
  number       = {3},
  pages        = {285--304},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2005.06.014},
  doi          = {10.1016/J.TCS.2005.06.014},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BergstraM05,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  editor       = {Aart Middeldorp and
                  Vincent van Oostrom and
                  Femke van Raamsdonk and
                  Roel C. de Vrijer},
  title        = {Model Theory for Process Algebra},
  booktitle    = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays
                  Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {3838},
  pages        = {445--495},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11601548\_21},
  doi          = {10.1007/11601548\_21},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/BergstraM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/BergstraM05,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  editor       = {Jos{\'{e}} Luiz Fiadeiro and
                  Neil Harman and
                  Markus Roggenbach and
                  Jan J. M. M. Rutten},
  title        = {Strong Splitting Bisimulation Equivalence},
  booktitle    = {Algebra and Coalgebra in Computer Science: First International Conference,
                  {CALCO} 2005, Swansea, UK, September 3-6, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3629},
  pages        = {83--97},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11548133\_6},
  doi          = {10.1007/11548133\_6},
  timestamp    = {Wed, 19 May 2021 08:32:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/BergstraM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/BergstraM05,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  editor       = {S. Barry Cooper and
                  Benedikt L{\"{o}}we and
                  Leen Torenvliet},
  title        = {A Thread Algebra with Multi-level Strategic Interleaving},
  booktitle    = {New Computational Paradigms, First Conference on Computability in
                  Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3526},
  pages        = {35--48},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11494645\_5},
  doi          = {10.1007/11494645\_5},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cie/BergstraM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/egc/BergstraP05,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  editor       = {Peter M. A. Sloot and
                  Alfons G. Hoekstra and
                  Thierry Priol and
                  Alexander Reinefeld and
                  Marian Bubak},
  title        = {A Bypass of Cohen's Impossibility Result},
  booktitle    = {Advances in Grid Computing - {EGC} 2005, European Grid Conference,
                  Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3470},
  pages        = {1097--1106},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11508380\_112},
  doi          = {10.1007/11508380\_112},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/egc/BergstraP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaetenB06,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Luca Aceto and
                  Andrew D. Gordon},
  title        = {Six Themes for Future Concurrency Research},
  booktitle    = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
                  {APC} 25, Bertinoro, Italy, August 1-5, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {162},
  pages        = {61--64},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.090},
  doi          = {10.1016/J.ENTCS.2005.12.090},
  timestamp    = {Fri, 20 Jan 2023 12:38:53 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaetenB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Bergstra06,
  author       = {Jan A. Bergstra},
  editor       = {Luca Aceto and
                  Andrew D. Gordon},
  title        = {On the Design Rationale of {ACP} Style Process Algebras},
  booktitle    = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
                  {APC} 25, Bertinoro, Italy, August 1-5, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {162},
  pages        = {79--85},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.12.105},
  doi          = {10.1016/J.ENTCS.2005.12.105},
  timestamp    = {Fri, 20 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bergstra06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM04,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg},
  title        = {Located Actions in Process Algebra with Timing},
  journal      = {Fundam. Informaticae},
  volume       = {61},
  number       = {3-4},
  pages        = {183--211},
  year         = {2004},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi61-3-4-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BergstraW03,
  author       = {Jan A. Bergstra and
                  Pum Walters},
  title        = {Operator programs and operator processes},
  journal      = {Inf. Softw. Technol.},
  volume       = {45},
  number       = {10},
  pages        = {681--689},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0950-5849(03)00075-2},
  doi          = {10.1016/S0950-5849(03)00075-2},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/BergstraW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraPZ03,
  author       = {Jan A. Bergstra and
                  Alban Ponse and
                  Mark van der Zwaag},
  title        = {Branching time and orthogonal bisimulation equivalence},
  journal      = {Theor. Comput. Sci.},
  volume       = {309},
  number       = {1-3},
  pages        = {313--355},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(03)00277-9},
  doi          = {10.1016/S0304-3975(03)00277-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraPZ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/Bergstra03,
  author       = {Jan A. Bergstra},
  editor       = {Frank S. de Boer and
                  Marcello M. Bonsangue and
                  Susanne Graf and
                  Willem P. de Roever},
  title        = {Machine Function Based Control Code Algebras},
  booktitle    = {Formal Methods for Components and Objects, Second International Symposium,
                  {FMCO} 2003, Leiden, The Netherlands, November 4-7, 2003, Revised
                  Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {3188},
  pages        = {17--41},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-30101-1\_2},
  doi          = {10.1007/978-3-540-30101-1\_2},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fmco/Bergstra03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BergstraB03,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  editor       = {Jos C. M. Baeten and
                  Jan Karel Lenstra and
                  Joachim Parrow and
                  Gerhard J. Woeginger},
  title        = {Polarized Process Algebra and Program Equivalence},
  booktitle    = {Automata, Languages and Programming, 30th International Colloquium,
                  {ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2719},
  pages        = {1--21},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-45061-0\_1},
  doi          = {10.1007/3-540-45061-0\_1},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BergstraB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Bergstra02,
  author       = {Jan A. Bergstra},
  title        = {Molecule-oriented programming in Java},
  journal      = {Inf. Softw. Technol.},
  volume       = {44},
  number       = {11},
  pages        = {617--638},
  year         = {2002},
  url          = {https://doi.org/10.1016/S0950-5849(02)00065-4},
  doi          = {10.1016/S0950-5849(02)00065-4},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/Bergstra02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergstraL02,
  author       = {Jan A. Bergstra and
                  M. E. Loots},
  title        = {Program algebra for sequential code},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {51},
  number       = {2},
  pages        = {125--156},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1567-8326(02)00018-8},
  doi          = {10.1016/S1567-8326(02)00018-8},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jlp/BergstraL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergstraP02,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Combining programs and state machines},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {51},
  number       = {2},
  pages        = {175--192},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1567-8326(02)00020-6},
  doi          = {10.1016/S1567-8326(02)00020-6},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BergstraP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BergstraB02,
  author       = {Jan A. Bergstra and
                  Inge Bethke},
  title        = {Molecular dynamics},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {51},
  number       = {2},
  pages        = {193--214},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1567-8326(02)00021-8},
  doi          = {10.1016/S1567-8326(02)00021-8},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BergstraB02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BergstraP01,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Process algebra and conditional composition},
  journal      = {Inf. Process. Lett.},
  volume       = {80},
  number       = {1},
  pages        = {41--49},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0020-0190(01)00216-2},
  doi          = {10.1016/S0020-0190(01)00216-2},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BergstraP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BergstraP01,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Register-machine based processes},
  journal      = {J. {ACM}},
  volume       = {48},
  number       = {6},
  pages        = {1207--1241},
  year         = {2001},
  url          = {https://doi.org/10.1145/504794.504799},
  doi          = {10.1145/504794.504799},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BergstraP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraP01,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Non-regular iterators in process algebra},
  journal      = {Theor. Comput. Sci.},
  volume       = {269},
  number       = {1-2},
  pages        = {203--229},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0304-3975(00)00413-8},
  doi          = {10.1016/S0304-3975(00)00413-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BergstraFP01,
  author       = {Jan A. Bergstra and
                  Wan J. Fokkink and
                  Alban Ponse},
  editor       = {Jan A. Bergstra and
                  Alban Ponse and
                  Scott A. Smolka},
  title        = {Process Algebra with Recursive Operations},
  booktitle    = {Handbook of Process Algebra},
  pages        = {333--389},
  publisher    = {North-Holland / Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/b978-044482830-9/50023-0},
  doi          = {10.1016/B978-044482830-9/50023-0},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/el/01/BergstraFP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/BergstraMU01,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg and
                  Yaroslav S. Usenko},
  editor       = {Jan A. Bergstra and
                  Alban Ponse and
                  Scott A. Smolka},
  title        = {Discrete Time Process Algebra and the Semantics of {SDL}},
  booktitle    = {Handbook of Process Algebra},
  pages        = {1209--1268},
  publisher    = {North-Holland / Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/b978-044482830-9/50036-9},
  doi          = {10.1016/B978-044482830-9/50036-9},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/el/01/BergstraMU01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/el/01/BPS2001,
  editor       = {Jan A. Bergstra and
                  Alban Ponse and
                  Scott A. Smolka},
  title        = {Handbook of Process Algebra},
  publisher    = {North-Holland / Elsevier},
  year         = {2001},
  url          = {https://doi.org/10.1016/b978-0-444-82830-9.x5017-6},
  doi          = {10.1016/B978-0-444-82830-9.X5017-6},
  isbn         = {978-0-444-82830-9},
  timestamp    = {Fri, 28 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/el/01/BPS2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/X00,
  author       = {Jan A. Bergstra and
                  M. E. Loots},
  title        = {Program Algebra for Component Code},
  journal      = {Formal Aspects Comput.},
  volume       = {12},
  number       = {1},
  pages        = {1--17},
  year         = {2000},
  url          = {https://doi.org/10.1007/PL00003928},
  doi          = {10.1007/PL00003928},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/X00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BergstraP00,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Process Algebra with Four-Valued Logic},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {10},
  number       = {1},
  pages        = {27--53},
  year         = {2000},
  url          = {https://doi.org/10.1080/11663081.2000.10510987},
  doi          = {10.1080/11663081.2000.10510987},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BergstraP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaetenBR00,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Michel A. Reniers},
  editor       = {Gordon D. Plotkin and
                  Colin Stirling and
                  Mads Tofte},
  title        = {Discrete time process algebra with silent step},
  booktitle    = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
  pages        = {535--570},
  publisher    = {The {MIT} Press},
  year         = {2000},
  timestamp    = {Mon, 23 Jun 2008 08:50:50 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/BaetenBR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BergstraP98,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Kleene's Three-Valued Logic and Process Algebra},
  journal      = {Inf. Process. Lett.},
  volume       = {67},
  number       = {2},
  pages        = {95--103},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0020-0190(98)00083-0},
  doi          = {10.1016/S0020-0190(98)00083-0},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BergstraP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/BergstraP98,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  title        = {Bochvar-McCarthy Logic and Process Algebra},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {39},
  number       = {4},
  pages        = {464--484},
  year         = {1998},
  url          = {https://doi.org/10.1305/ndjfl/1039118863},
  doi          = {10.1305/NDJFL/1039118863},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/BergstraP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BergstraK98,
  author       = {Jan A. Bergstra and
                  Paul Klint},
  title        = {The Discrete Time {TOOLBUS} - {A} Software Coordination Architecture},
  journal      = {Sci. Comput. Program.},
  volume       = {31},
  number       = {2-3},
  pages        = {205--229},
  year         = {1998},
  url          = {https://doi.org/10.1016/S0167-6423(97)00021-X},
  doi          = {10.1016/S0167-6423(97)00021-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BergstraK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nada/BergstraP98,
  author       = {Jan A. Bergstra and
                  Alban Ponse},
  editor       = {Bernhard M{\"{o}}ller and
                  John V. Tucker},
  title        = {Grid Protocol Specifications},
  booktitle    = {Prospects for Hardware Foundations, {ESPRIT} Working Group 8533, {NADA}
                  - New Hardware Design Methods, Survey Chapters},
  series       = {Lecture Notes in Computer Science},
  volume       = {1546},
  pages        = {278--308},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49254-2\_8},
  doi          = {10.1007/3-540-49254-2\_8},
  timestamp    = {Fri, 12 Jul 2019 14:39:18 +0200},
  biburl       = {https://dblp.org/rec/conf/nada/BergstraP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaetenB98,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Ilaria Castellani and
                  Catuscia Palamidessi},
  title        = {Deadlock Behaviour in Split and {ST} Bisimulation Semantics},
  booktitle    = {Fifth International Workshop on Expressiveness in Concurrency, {EXPRESS}
                  1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
                  7, 1998},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {16},
  number       = {2},
  pages        = {61--74},
  publisher    = {Elsevier},
  year         = {1998},
  url          = {https://doi.org/10.1016/S1571-0661(04)00117-3},
  doi          = {10.1016/S1571-0661(04)00117-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BaetenB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BaetenB97,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  title        = {Discrete Time Process Algebra: Absolute Time, Relative Time and Parametric
                  Time},
  journal      = {Fundam. Informaticae},
  volume       = {29},
  number       = {1-2},
  pages        = {51--76},
  year         = {1997},
  url          = {https://doi.org/10.3233/FI-1997-291203},
  doi          = {10.3233/FI-1997-291203},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BaetenB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/BergstraMS97,
  author       = {Jan A. Bergstra and
                  Cornelis A. Middelburg and
                  Gheorghe Stefanescu},
  title        = {Network algebra for asynchronous dataflow},
  journal      = {Int. J. Comput. Math.},
  volume       = {65},
  number       = {1-2},
  pages        = {57--88},
  year         = {1997},
  url          = {https://doi.org/10.1080/00207169708804599},
  doi          = {10.1080/00207169708804599},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcm/BergstraMS97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BergstraHP97,
  author       = {Jan A. Bergstra and
                  Joris A. Hillebrand and
                  Alban Ponse},
  title        = {Grid Protocols Based on Synchronous Communication},
  journal      = {Sci. Comput. Program.},
  volume       = {29},
  number       = {1-2},
  pages        = {199--233},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0167-6423(96)00035-4},
  doi          = {10.1016/S0167-6423(96)00035-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/BergstraHP97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenB97,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  title        = {Process Algebra with Propositional Signals},
  journal      = {Theor. Comput. Sci.},
  volume       = {177},
  number       = {2},
  pages        = {381--405},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0304-3975(96)00253-8},
  doi          = {10.1016/S0304-3975(96)00253-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BaetenB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BergstraDFH97,
  author       = {Jan A. Bergstra and
                  T. B. Dinesh and
                  John Field and
                  Jan Heering},
  title        = {Toward a Complete Transformational Toolkit for Compilers},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {19},
  number       = {5},
  pages        = {639--684},
  year         = {1997},
  url          = {https://doi.org/10.1145/265943.265944},
  doi          = {10.1145/265943.265944},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/toplas/BergstraDFH97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB97,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Antoni W. Mazurkiewicz and
                  J{\'{o}}zef Winkowski},
  title        = {Bounded Stacks, Bags and Queues},
  booktitle    = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
                  Poland, July 1-4, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1243},
  pages        = {104--118},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63141-0\_8},
  doi          = {10.1007/3-540-63141-0\_8},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BaetenB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/BergstraB97,
  author       = {Jan A. Bergstra and
                  Wiet Bouma},
  editor       = {Petre Dini and
                  Raouf Boutaba and
                  Luigi Logrippo},
  title        = {Models for Feature Descriptions and Interactions},
  booktitle    = {Feature Interactions in Telecommunications Networks IV, June 17-19,
                  1997, Montr{\'{e}}al, Canada},
  pages        = {31--45},
  publisher    = {{IOS} Press},
  year         = {1997},
  timestamp    = {Tue, 16 Nov 2004 10:38:12 +0100},
  biburl       = {https://dblp.org/rec/conf/fiw/BergstraB97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/BaetenB96,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  title        = {Six Issues Concerning Future Directions in Concurrency Research},
  journal      = {{ACM} Comput. Surv.},
  volume       = {28},
  number       = {4es},
  pages        = {39},
  year         = {1996},
  url          = {https://doi.org/10.1145/242224.242272},
  doi          = {10.1145/242224.242272},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/csur/BaetenB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB96,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  title        = {Discrete Time Process Algebra},
  journal      = {Formal Aspects Comput.},
  volume       = {8},
  number       = {2},
  pages        = {188--208},
  year         = {1996},
  url          = {https://doi.org/10.1007/BF01214556},
  doi          = {10.1007/BF01214556},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BaetenB96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraS96,
  author       = {Jan A. Bergstra and
                  Gheorghe Stefanescu},
  title        = {Processes with Multiple Entries and Exits Modulo Isomorphism and Modulo
                  Bisimulation},
  journal      = {Fundam. Informaticae},
  volume       = {27},
  number       = {1},
  pages        = {37--56},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-27103},
  doi          = {10.3233/FI-1996-27103},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcm/BergstraFM96,
  author       = {Jan A. Bergstra and
                  Wan J. Fokkink and
                  Cornelis A. Middelburg},
  title        = {Algebra of timed frames},
  journal      = {Int. J. Comput. Math.},
  volume       = {61},
  number       = {3-4},
  pages        = {227--255},
  year         = {1996},
  url          = {https://doi.org/10.1080/00207169608804514},
  doi          = {10.1080/00207169608804514},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijcm/BergstraFM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BergstraK96,
  author       = {Jan A. Bergstra and
                  Paul Klint},
  editor       = {Martin Wirsing and
                  Maurice Nivat},
  title        = {The Discrete Time {TOOLBUS}},
  booktitle    = {Algebraic Methodology and Software Technology, 5th International Conference,
                  {AMAST} '96, Munich, Germany, July 1-5, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1101},
  pages        = {286--305},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/BFb0014323},
  doi          = {10.1007/BFB0014323},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/BergstraK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BergstraK96,
  author       = {Jan A. Bergstra and
                  Paul Klint},
  editor       = {Paolo Ciancarini and
                  Chris Hankin},
  title        = {The {TOOLBUS} Coordination Architecture},
  booktitle    = {Coordination Languages and Models, First International Conference,
                  {COORDINATION} '96, Cesena, Italy, April 15-17, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1061},
  pages        = {75--88},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61052-9\_40},
  doi          = {10.1007/3-540-61052-9\_40},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/coordination/BergstraK96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BergstraDFH96,
  author       = {Jan A. Bergstra and
                  T. B. Dinesh and
                  John Field and
                  Jan Heering},
  editor       = {Hanne Riis Nielson},
  title        = {A Complete Transformational Toolkit for Compilers},
  booktitle    = {Programming Languages and Systems - ESOP'96, 6th European Symposium
                  on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1058},
  pages        = {92--107},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61055-3\_31},
  doi          = {10.1007/3-540-61055-3\_31},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/BergstraDFH96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BergstraT95,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {A Data Type Variety of Stack Algebras},
  journal      = {Ann. Pure Appl. Log.},
  volume       = {73},
  number       = {1},
  pages        = {11--36},
  year         = {1995},
  url          = {https://doi.org/10.1016/0168-0072(94)00038-5},
  doi          = {10.1016/0168-0072(94)00038-5},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apal/BergstraT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraH95,
  author       = {Jan A. Bergstra and
                  Jan Heering},
  title        = {Homomorphism Preserving Algebraic Specifications Require Hidden Sorts},
  journal      = {Inf. Comput.},
  volume       = {119},
  number       = {1},
  pages        = {119--123},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1079},
  doi          = {10.1006/INCO.1995.1079},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BergstraH95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaetenBS95,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Scott A. Smolka},
  title        = {Axiomatizing Probabilistic Processes: {ACP} with Generative Probabilities},
  journal      = {Inf. Comput.},
  volume       = {121},
  number       = {2},
  pages        = {234--255},
  year         = {1995},
  url          = {https://doi.org/10.1006/inco.1995.1135},
  doi          = {10.1006/INCO.1995.1135},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BaetenBS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BergstraT95,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Equational Specifications, Complete Term Rewriting Systems, and Computable
                  and Semicomputable Algebras},
  journal      = {J. {ACM}},
  volume       = {42},
  number       = {6},
  pages        = {1194--1230},
  year         = {1995},
  url          = {https://doi.org/10.1145/227683.227687},
  doi          = {10.1145/227683.227687},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jacm/BergstraT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jancl/BergstraBR95,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Piet Rodenburg},
  title        = {A propositional logic with 4 values: true, false, divergent and meaningless},
  journal      = {J. Appl. Non Class. Logics},
  volume       = {5},
  number       = {2},
  pages        = {199--217},
  year         = {1995},
  url          = {https://doi.org/10.1080/11663081.1995.10510855},
  doi          = {10.1080/11663081.1995.10510855},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jancl/BergstraBR95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BaetenB95,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Horst Reichel},
  title        = {Discrete Time Process Algebra with Abstraction},
  booktitle    = {Fundamentals of Computation Theory, 10th International Symposium,
                  {FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {965},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60249-6\_38},
  doi          = {10.1007/3-540-60249-6\_38},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BaetenB95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BergstraS95,
  author       = {Jan A. Bergstra and
                  Gheorghe Stefanescu},
  editor       = {Horst Reichel},
  title        = {Processes with Multiple Entries and Exits},
  booktitle    = {Fundamentals of Computation Theory, 10th International Symposium,
                  {FCT} '95, Dresden, Germany, August 22-25, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {965},
  pages        = {136--145},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60249-6\_46},
  doi          = {10.1007/3-540-60249-6\_46},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BergstraS95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BergstraBP94,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Alban Ponse},
  title        = {Process Algebra with Iteration and Nesting},
  journal      = {Comput. J.},
  volume       = {37},
  number       = {4},
  pages        = {243--258},
  year         = {1994},
  url          = {https://doi.org/10.1093/comjnl/37.4.243},
  doi          = {10.1093/COMJNL/37.4.243},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BergstraBP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB94,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  title        = {On Sequential Compoisiton, Action Prefixes and Process Prefixes},
  journal      = {Formal Aspects Comput.},
  volume       = {6},
  number       = {3},
  pages        = {250--268},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01215407},
  doi          = {10.1007/BF01215407},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BaetenB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BergstraS94,
  author       = {Jan A. Bergstra and
                  Gheorghe Stefanescu},
  title        = {Bisimulation is Two-Way Simulation},
  journal      = {Inf. Process. Lett.},
  volume       = {52},
  number       = {6},
  pages        = {285--287},
  year         = {1994},
  url          = {https://doi.org/10.1016/0020-0190(94)00165-0},
  doi          = {10.1016/0020-0190(94)00165-0},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BergstraS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/BenthemB94,
  author       = {Johan van Benthem and
                  Jan A. Bergstra},
  title        = {Logic of Transition Systems},
  journal      = {J. Log. Lang. Inf.},
  volume       = {3},
  number       = {4},
  pages        = {247--283},
  year         = {1994},
  url          = {https://doi.org/10.1007/BF01160018},
  doi          = {10.1007/BF01160018},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jolli/BenthemB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraH94,
  author       = {Jan A. Bergstra and
                  Jan Heering},
  title        = {Which Data Types have omega-complete Initial Algebra Specifications?},
  journal      = {Theor. Comput. Sci.},
  volume       = {124},
  number       = {1},
  pages        = {149--168},
  year         = {1994},
  url          = {https://doi.org/10.1016/0304-3975(94)90057-4},
  doi          = {10.1016/0304-3975(94)90057-4},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB94,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Bengt Jonsson and
                  Joachim Parrow},
  title        = {Process Algebra with Partial Choice},
  booktitle    = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
                  Sweden, August 22-25, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {836},
  pages        = {465--480},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/978-3-540-48654-1\_34},
  doi          = {10.1007/978-3-540-48654-1\_34},
  timestamp    = {Tue, 31 Aug 2021 12:07:11 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BaetenB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/BaetenBB94,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Roland N. Bol},
  editor       = {Dov M. Gabbay and
                  Hans J{\"{u}}rgen Ohlbach},
  title        = {A Real Time Process Logic},
  booktitle    = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
                  Germany, July 11-14, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {827},
  pages        = {30--47},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0013979},
  doi          = {10.1007/BFB0013979},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ictl/BaetenBB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB93,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  title        = {Real space process algebra},
  journal      = {Formal Aspects Comput.},
  volume       = {5},
  number       = {6},
  pages        = {481--529},
  year         = {1993},
  url          = {https://doi.org/10.1007/BF01211247},
  doi          = {10.1007/BF01211247},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BaetenB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BaetenBK93,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Decidability of Bisimulation Equivalence for Processes Generating
                  Context-Free Languages},
  journal      = {J. {ACM}},
  volume       = {40},
  number       = {3},
  pages        = {653--682},
  year         = {1993},
  url          = {https://doi.org/10.1145/174130.174141},
  doi          = {10.1145/174130.174141},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BaetenBK93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB93,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Eike Best},
  title        = {Non Interleaving Process Algebra},
  booktitle    = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
                  Hildesheim, Germany, August 23-26, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {715},
  pages        = {308--323},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57208-2\_22},
  doi          = {10.1007/3-540-57208-2\_22},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BaetenB93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/BergstraBP93,
  author       = {Jan A. Bergstra and
                  Inge Bethke and
                  Alban Ponse},
  editor       = {Egon B{\"{o}}rger and
                  Yuri Gurevich and
                  Karl Meinke},
  title        = {Process Algebra with Combinators},
  booktitle    = {Computer Science Logic, 7th Workshop, {CSL} '93, Swansea, United Kingdom,
                  September 13-17, 1993, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {832},
  pages        = {36--65},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/BFb0049323},
  doi          = {10.1007/BFB0049323},
  timestamp    = {Fri, 17 Jul 2020 16:12:45 +0200},
  biburl       = {https://dblp.org/rec/conf/csl/BergstraBP93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BergstraS93,
  author       = {Jan A. Bergstra and
                  Gheorghe Stefanescu},
  editor       = {Zolt{\'{a}}n {\'{E}}sik},
  title        = {Translations Between Flowchart Schemes and Process Graphs},
  booktitle    = {Fundamentals of Computation Theory, 9th International Symposium, {FCT}
                  '93, Szeged, Hungary, August 23-27, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {710},
  pages        = {152--161},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-57163-9\_11},
  doi          = {10.1007/3-540-57163-9\_11},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BergstraS93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BergstraPW93,
  author       = {Jan A. Bergstra and
                  Alban Ponse and
                  Jos van Wamel},
  editor       = {J. W. de Bakker and
                  Willem P. de Roever and
                  Grzegorz Rozenberg},
  title        = {Process Algebra with Backtracking},
  booktitle    = {A Decade of Concurrency, Reflections and Perspectives, {REX} School/Symposium,
                  Noordwijkerhout, The Netherlands, June 1-4, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {803},
  pages        = {46--91},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/3-540-58043-3\_17},
  doi          = {10.1007/3-540-58043-3\_17},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rex/BergstraPW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB92,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Rance Cleaveland},
  title        = {Discrete Time Process Algebra},
  booktitle    = {{CONCUR} '92, Third International Conference on Concurrency Theory,
                  Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {630},
  pages        = {401--420},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0084806},
  doi          = {10.1007/BFB0084806},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BaetenB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenBS92,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Scott A. Smolka},
  editor       = {Rance Cleaveland},
  title        = {Axiomization Probabilistic Processes: {ACP} with Generative Probabililties
                  (Extended Abstract)},
  booktitle    = {{CONCUR} '92, Third International Conference on Concurrency Theory,
                  Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {630},
  pages        = {472--485},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/BFb0084810},
  doi          = {10.1007/BFB0084810},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BaetenBS92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/BaetenB92,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Jan Vytopil},
  title        = {Asynchronous Communication in Real Space Process Algebra},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, Second
                  International Symposium, Nijmegen, The Netherlands, January 8-10,
                  1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {571},
  pages        = {473--492},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55092-5\_26},
  doi          = {10.1007/3-540-55092-5\_26},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BaetenB92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BaetenB91,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  title        = {Real Time Process Algebra},
  journal      = {Formal Aspects Comput.},
  volume       = {3},
  number       = {2},
  pages        = {142--188},
  year         = {1991},
  url          = {https://doi.org/10.1007/BF01898401},
  doi          = {10.1007/BF01898401},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/BaetenB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/BergstraMW91,
  author       = {Jan A. Bergstra and
                  Sjouke Mauw and
                  Freek Wiedijk},
  title        = {Uniform Algebraic Specifications of Finite Sets with Equality},
  journal      = {Int. J. Found. Comput. Sci.},
  volume       = {2},
  number       = {1},
  pages        = {43--65},
  year         = {1991},
  url          = {https://doi.org/10.1142/S0129054191000042},
  doi          = {10.1142/S0129054191000042},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijfcs/BergstraMW91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenB91,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  title        = {Recursive Process Definitions with the State Operator},
  journal      = {Theor. Comput. Sci.},
  volume       = {82},
  number       = {2},
  pages        = {285--302},
  year         = {1991},
  url          = {https://doi.org/10.1016/0304-3975(91)90225-Q},
  doi          = {10.1016/0304-3975(91)90225-Q},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BaetenB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB91,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Jos C. M. Baeten and
                  Jan Friso Groote},
  title        = {Real Space Process Algebra},
  booktitle    = {{CONCUR} '91, 2nd International Conference on Concurrency Theory,
                  Amsterdam, The Netherlands, August 26-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {527},
  pages        = {96--110},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54430-5\_83},
  doi          = {10.1007/3-540-54430-5\_83},
  timestamp    = {Fri, 27 Mar 2020 08:51:56 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/BaetenB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BaetenB91,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {J. W. de Bakker and
                  Cornelis Huizing and
                  Willem P. de Roever and
                  Grzegorz Rozenberg},
  title        = {The State Operator in Real Time Process Algebra},
  booktitle    = {Real-Time: Theory in Practice, {REX} Workshop, Mook, The Netherlands,
                  June 3-7, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {600},
  pages        = {107--123},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/BFb0031989},
  doi          = {10.1007/BFB0031989},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rex/BaetenB91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/am/1989,
  editor       = {Jan A. Bergstra and
                  Loe M. G. Feijs},
  title        = {Algebraic Methods {II:} Theory, Tools and Applications [papers from
                  a workshop in Mierlo, The Netherlands, September 1989]},
  series       = {Lecture Notes in Computer Science},
  volume       = {490},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-53912-3},
  doi          = {10.1007/3-540-53912-3},
  isbn         = {3-540-53912-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/1989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/BergstraHK90,
  author       = {Jan A. Bergstra and
                  Jan Heering and
                  Paul Klint},
  title        = {Module Algebra},
  journal      = {J. {ACM}},
  volume       = {37},
  number       = {2},
  pages        = {335--372},
  year         = {1990},
  url          = {https://doi.org/10.1145/77600.77621},
  doi          = {10.1145/77600.77621},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/BergstraHK90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenB90,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Jos C. M. Baeten and
                  Jan Willem Klop},
  title        = {Process Algebra with a Zero Object},
  booktitle    = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
                  Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {458},
  pages        = {83--98},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0039053},
  doi          = {10.1007/BFB0039053},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BaetenB90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenBKW89,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Jan Willem Klop and
                  W. P. Weijland},
  title        = {Term-Rewriting Systems with Rule Priorities},
  journal      = {Theor. Comput. Sci.},
  volume       = {67},
  number       = {2{\&}3},
  pages        = {283--301},
  year         = {1989},
  url          = {https://doi.org/10.1016/0304-3975(89)90006-6},
  doi          = {10.1016/0304-3975(89)90006-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BaetenBKW89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/BaetenBMV89,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Sjouke Mauw and
                  Gert J. Veltink},
  editor       = {Jan A. Bergstra and
                  Loe M. G. Feijs},
  title        = {A Process Specification Formalism Based on Static {COLD}},
  booktitle    = {Algebraic Methods {II:} Theory, Tools and Applications [papers from
                  a workshop in Mierlo, The Netherlands, September 1989]},
  series       = {Lecture Notes in Computer Science},
  volume       = {490},
  pages        = {303--335},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-53912-3\_27},
  doi          = {10.1007/3-540-53912-3\_27},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/am/BaetenBMV89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/Bergstra89,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  editor       = {Jan A. Bergstra and
                  Loe M. G. Feijs},
  title        = {Design of a Specification Language by Abstract Syntax Engineering},
  booktitle    = {Algebraic Methods {II:} Theory, Tools and Applications [papers from
                  a workshop in Mierlo, The Netherlands, September 1989]},
  series       = {Lecture Notes in Computer Science},
  volume       = {490},
  pages        = {363--394},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-53912-3\_29},
  doi          = {10.1007/3-540-53912-3\_29},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/Bergstra89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/am/1987,
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/BFb0015032},
  doi          = {10.1007/BFB0015032},
  isbn         = {3-540-51698-0},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/am/1987.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaetenB88,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra},
  title        = {Global Renaming Operators in Concrete Process Algebra},
  journal      = {Inf. Comput.},
  volume       = {78},
  number       = {3},
  pages        = {205--245},
  year         = {1988},
  url          = {https://doi.org/10.1016/0890-5401(88)90027-2},
  doi          = {10.1016/0890-5401(88)90027-2},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BaetenB88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BergstraKO88,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {Readies and Failures in the Algebra of Communicating Processes},
  journal      = {{SIAM} J. Comput.},
  volume       = {17},
  number       = {6},
  pages        = {1134--1177},
  year         = {1988},
  url          = {https://doi.org/10.1137/0217073},
  doi          = {10.1137/0217073},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/BergstraKO88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Bergstra88,
  author       = {Jan A. Bergstra},
  editor       = {Jan Grabowski and
                  Pierre Lescanne and
                  Wolfgang Wechler},
  title        = {{ACP} with Signals},
  booktitle    = {Algebraic and Logic Programming, International Workshop, Gaussig,
                  GDR, November 14-18, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {343},
  pages        = {11--20},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50667-5\_53},
  doi          = {10.1007/3-540-50667-5\_53},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/alp/Bergstra88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/BergstraK88,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {J. W. de Bakker and
                  Willem P. de Roever and
                  Grzegorz Rozenberg},
  title        = {Process theory based on bisimulation semantics},
  booktitle    = {Linear Time, Branching Time and Partial Order in Logics and Models
                  for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands,
                  May 30 - June 3, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {354},
  pages        = {50--122},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/BFb0013021},
  doi          = {10.1007/BFB0013021},
  timestamp    = {Fri, 17 Jul 2020 16:12:47 +0200},
  biburl       = {https://dblp.org/rec/conf/rex/BergstraK88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/BaetenBK87,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Ready-Trace Semantics for Concrete Process Algebra with the Priority
                  Operator},
  journal      = {Comput. J.},
  volume       = {30},
  number       = {6},
  pages        = {498--506},
  year         = {1987},
  url          = {https://doi.org/10.1093/comjnl/30.6.498},
  doi          = {10.1093/COMJNL/30.6.498},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/BaetenBK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraT87,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Algebraic Specifications of Computable and Semicomputable Data Types},
  journal      = {Theor. Comput. Sci.},
  volume       = {50},
  pages        = {137--181},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90123-X},
  doi          = {10.1016/0304-3975(87)90123-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraT87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BaetenBK87,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {On the Consistency of Koomen's Fair Abstraction Rule},
  journal      = {Theor. Comput. Sci.},
  volume       = {51},
  pages        = {129--176},
  year         = {1987},
  url          = {https://doi.org/10.1016/0304-3975(87)90052-1},
  doi          = {10.1016/0304-3975(87)90052-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BaetenBK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/am/BergstraK87,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {Martin Wirsing and
                  Jan A. Bergstra},
  title        = {ACT\({}_{\mbox{tau}}\): {A} Universal Axiom System for Process Specification},
  booktitle    = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop
                  in Passau, Germany, June 9-11, 1987]},
  series       = {Lecture Notes in Computer Science},
  volume       = {394},
  pages        = {447--463},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/BFb0015048},
  doi          = {10.1007/BFB0015048},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/am/BergstraK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BaetenBK87,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {Martin Wirsing},
  title        = {Conditional axioms and {\(\alpha\)}/{\(\beta\)}-calculus in process
                  algebra},
  booktitle    = {Formal Description of Programming Concepts - {III:} Proceedings of
                  the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
                  of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
  pages        = {53--76},
  publisher    = {North-Holland},
  year         = {1987},
  timestamp    = {Thu, 10 Jan 2019 14:37:08 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/BaetenBK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BergstraKO87,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop and
                  Ernst{-}R{\"{u}}diger Olderog},
  editor       = {Martin Wirsing},
  title        = {Failures without chaos: a new process semantics for fair abstraction},
  booktitle    = {Formal Description of Programming Concepts - {III:} Proceedings of
                  the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
                  of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
  pages        = {77--104},
  publisher    = {North-Holland},
  year         = {1987},
  timestamp    = {Thu, 10 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/BergstraKO87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/BaetenBK87,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {J. W. de Bakker and
                  A. J. Nijman and
                  Philip C. Treleaven},
  title        = {Decidability of Bisimulation Equivalence for Processes Generating
                  Context-Free Languages},
  booktitle    = {PARLE, Parallel Architectures and Languages Europe, Volume {II:} Parallel
                  Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {259},
  pages        = {94--111},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-17945-3\_5},
  doi          = {10.1007/3-540-17945-3\_5},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/parle/BaetenBK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BaetenBK87,
  author       = {Jos C. M. Baeten and
                  Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {Pierre Lescanne},
  title        = {Term Rewriting Systems with Priorities},
  booktitle    = {Rewriting Techniques and Applications, 2nd International Conference,
                  RTA-87, Bordeaux, France, May 25-27, 1987, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {256},
  pages        = {83--94},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-17220-3\_8},
  doi          = {10.1007/3-540-17220-3\_8},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/BaetenBK87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BergstraK86,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Conditional Rewrite Rules: Confluence and Termination},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {32},
  number       = {3},
  pages        = {323--362},
  year         = {1986},
  url          = {https://doi.org/10.1016/0022-0000(86)90033-4},
  doi          = {10.1016/0022-0000(86)90033-4},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BergstraK86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BergstraT85,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Top-Down Design and the Algebra of Communicating Processes},
  journal      = {Sci. Comput. Program.},
  volume       = {5},
  number       = {2},
  pages        = {171--199},
  year         = {1985},
  url          = {https://doi.org/10.1016/0167-6423(85)90010-3},
  doi          = {10.1016/0167-6423(85)90010-3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/BergstraT85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraK85,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Algebra of Communicating Processes with Abstraction},
  journal      = {Theor. Comput. Sci.},
  volume       = {37},
  pages        = {77--121},
  year         = {1985},
  url          = {https://doi.org/10.1016/0304-3975(85)90088-X},
  doi          = {10.1016/0304-3975(85)90088-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aii/BergstraK85,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {Wolfgang Bibel and
                  Klaus P. Jantke},
  title        = {Verification of an alternating bit protocol by means of process algebra},
  booktitle    = {Mathematical Methods of Specification and Synthesis of Software Systems
                  '85, Proceedings of the International Spring School, Wendisch-Rietz,
                  GDR, April 22-26, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {215},
  pages        = {9--23},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16444-8\_1},
  doi          = {10.1007/3-540-16444-8\_1},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/aii/BergstraK85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraT84,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {The Axiomatic Semantics of Programs Based on Hoare's Logic},
  journal      = {Acta Informatica},
  volume       = {21},
  pages        = {293--320},
  year         = {1984},
  url          = {https://doi.org/10.1007/BF00264252},
  doi          = {10.1007/BF00264252},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BergstraT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/BergstraM84,
  author       = {Jan A. Bergstra and
                  John{-}Jules Ch. Meyer},
  title        = {On Specifying Sets of Integers},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {20},
  number       = {10/11},
  pages        = {531--541},
  year         = {1984},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/BergstraM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraK84,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Process Algebra for Synchronous Communication},
  journal      = {Inf. Control.},
  volume       = {60},
  number       = {1-3},
  pages        = {109--137},
  year         = {1984},
  url          = {https://doi.org/10.1016/S0019-9958(84)80025-X},
  doi          = {10.1016/S0019-9958(84)80025-X},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BergstraK84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraT84,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Hoare's Logic for Programming Languages with two Data Types},
  journal      = {Theor. Comput. Sci.},
  volume       = {28},
  pages        = {215--221},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(83)90072-5},
  doi          = {10.1016/0304-3975(83)90072-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraK84,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Proving Program Inclusion Using Hoare's Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {30},
  pages        = {1--48},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90065-3},
  doi          = {10.1016/0304-3975(84)90065-3},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraK84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BakkerBKM84,
  author       = {J. W. de Bakker and
                  Jan A. Bergstra and
                  Jan Willem Klop and
                  John{-}Jules Ch. Meyer},
  title        = {Linear Time and Branching Time Semantics for Recursion with Merge},
  journal      = {Theor. Comput. Sci.},
  volume       = {34},
  pages        = {135--156},
  year         = {1984},
  url          = {https://doi.org/10.1016/0304-3975(84)90114-2},
  doi          = {10.1016/0304-3975(84)90114-2},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BakkerBKM84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BergstraKT84,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop and
                  John V. Tucker},
  editor       = {Stephen D. Brookes and
                  A. W. Roscoe and
                  Glynn Winskel},
  title        = {Process Algebra with Asynchronous Communication Mechanisms},
  booktitle    = {Seminar on Concurrency, Carnegie-Mellon University, Pittsburg, PA,
                  USA, July 9-11, 1984},
  series       = {Lecture Notes in Computer Science},
  volume       = {197},
  pages        = {76--95},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-15670-4\_4},
  doi          = {10.1007/3-540-15670-4\_4},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BergstraKT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BergstraK84,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {Jan Paredaens},
  title        = {The Algebra of Recursively Defined Processes and the Algebra of Regular
                  Processes},
  booktitle    = {Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium,
                  July 16-20, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {172},
  pages        = {82--94},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13345-3\_7},
  doi          = {10.1007/3-540-13345-3\_7},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BergstraK84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/BergstraT83,
  author       = {Jan A. Bergstra and
                  J. Terlouw},
  title        = {Standard Model Semantics for {DSL} {A} Data Type Specification Language},
  journal      = {Acta Informatica},
  volume       = {19},
  pages        = {97--113},
  year         = {1983},
  url          = {https://doi.org/10.1007/BF00263930},
  doi          = {10.1007/BF00263930},
  timestamp    = {Sun, 21 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/acta/BergstraT83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/BergstraK83,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Initial Algebra Specifications for Parametrized Data Types},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {19},
  number       = {1/2},
  pages        = {17--31},
  year         = {1983},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/BergstraK83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/integration/BergstraK83,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {A proof rule for restoring logic circuits},
  journal      = {Integr.},
  volume       = {1},
  number       = {2-3},
  pages        = {161--178},
  year         = {1983},
  url          = {https://doi.org/10.1016/S0167-9260(83)80018-2},
  doi          = {10.1016/S0167-9260(83)80018-2},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/integration/BergstraK83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BergstraT83,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Initial and Final Algebra Semantics for Data Type Specifications:
                  Two Characterization Theorems},
  journal      = {{SIAM} J. Comput.},
  volume       = {12},
  number       = {2},
  pages        = {366--387},
  year         = {1983},
  url          = {https://doi.org/10.1137/0212024},
  doi          = {10.1137/0212024},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/BergstraT83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraT83,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Hoare's Logic and Peano's Arithmetic},
  journal      = {Theor. Comput. Sci.},
  volume       = {22},
  pages        = {265--284},
  year         = {1983},
  url          = {https://doi.org/10.1016/0304-3975(83)90107-X},
  doi          = {10.1016/0304-3975(83)90107-X},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraT83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BakkerBKM83,
  author       = {J. W. de Bakker and
                  Jan A. Bergstra and
                  Jan Willem Klop and
                  John{-}Jules Ch. Meyer},
  editor       = {Josep D{\'{\i}}az},
  title        = {Linear Time and Branching Time Semantics for Recursion with Merge},
  booktitle    = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain,
                  July 18-22, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {154},
  pages        = {39--51},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/BFb0036896},
  doi          = {10.1007/BFB0036896},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BakkerBKM83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BergstraKT83,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop and
                  John V. Tucker},
  editor       = {Edmund M. Clarke and
                  Dexter Kozen},
  title        = {Algebraic Tools for System Construction},
  booktitle    = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
                  PA, USA, June 6-8, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {164},
  pages        = {34--44},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12896-4\_353},
  doi          = {10.1007/3-540-12896-4\_353},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/BergstraKT83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BergstraT83,
  author       = {Jan A. Bergstra and
                  Jerzy Tiuryn},
  editor       = {Edmund M. Clarke and
                  Dexter Kozen},
  title        = {PC-Compactness, a Necessary Condition for the Existence of Sound and
                  Complete Logics of Partial Correctness},
  booktitle    = {Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh,
                  PA, USA, June 6-8, 1983, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {164},
  pages        = {45--56},
  publisher    = {Springer},
  year         = {1983},
  url          = {https://doi.org/10.1007/3-540-12896-4\_354},
  doi          = {10.1007/3-540-12896-4\_354},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/BergstraT83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/BergstraK82,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Strong Normalization and Perpetual Reductions in the Lambda Calculus},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {18},
  number       = {7/8},
  pages        = {403--417},
  year         = {1982},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/BergstraK82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraCT82,
  author       = {Jan A. Bergstra and
                  Anna Chmielinska and
                  Jerzy Tiuryn},
  title        = {Another Incompleteness Result for Hoare's Logic},
  journal      = {Inf. Control.},
  volume       = {52},
  number       = {2},
  pages        = {159--171},
  year         = {1982},
  url          = {https://doi.org/10.1016/S0019-9958(82)80027-2},
  doi          = {10.1016/S0019-9958(82)80027-2},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/BergstraCT82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BergstraT82,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {The Completeness of the Algebraic Specification Methods for Computable
                  Data Types},
  journal      = {Inf. Control.},
  volume       = {54},
  number       = {3},
  pages        = {186--200},
  year         = {1982},
  url          = {https://doi.org/10.1016/S0019-9958(82)80021-1},
  doi          = {10.1016/S0019-9958(82)80021-1},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/BergstraT82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BergstraM82,
  author       = {Jan A. Bergstra and
                  John{-}Jules Ch. Meyer},
  title        = {A Simple Transfer Lemma for Algebraic Specifications},
  journal      = {Inf. Process. Lett.},
  volume       = {14},
  number       = {2},
  pages        = {80--85},
  year         = {1982},
  url          = {https://doi.org/10.1016/0020-0190(82)90091-6},
  doi          = {10.1016/0020-0190(82)90091-6},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BergstraM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BergstraT82,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Two Theorems About the Completeness of Hoare's Logic},
  journal      = {Inf. Process. Lett.},
  volume       = {15},
  number       = {4},
  pages        = {143--149},
  year         = {1982},
  url          = {https://doi.org/10.1016/0020-0190(82)90095-3},
  doi          = {10.1016/0020-0190(82)90095-3},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/BergstraT82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BergstraT82,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Expressiveness and the Completeness of Hoare's Logic},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {25},
  number       = {3},
  pages        = {267--284},
  year         = {1982},
  url          = {https://doi.org/10.1016/0022-0000(82)90013-7},
  doi          = {10.1016/0022-0000(82)90013-7},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/BergstraT82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraTT82,
  author       = {Jan A. Bergstra and
                  Jerzy Tiuryn and
                  John V. Tucker},
  title        = {Floyds Principle, Correctness Theories and Program Equivalence},
  journal      = {Theor. Comput. Sci.},
  volume       = {17},
  pages        = {113--149},
  year         = {1982},
  url          = {https://doi.org/10.1016/0304-3975(82)90001-9},
  doi          = {10.1016/0304-3975(82)90001-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraTT82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraT82,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {Some Natural Structures which Fail to Possess a Sound and Decidable
                  Hoare-Like Logic for their While-Programs},
  journal      = {Theor. Comput. Sci.},
  volume       = {17},
  pages        = {303--315},
  year         = {1982},
  url          = {https://doi.org/10.1016/0304-3975(82)90027-5},
  doi          = {10.1016/0304-3975(82)90027-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraT82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraM82,
  author       = {Jan A. Bergstra and
                  John{-}Jules Ch. Meyer},
  title        = {On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic
                  Logic},
  journal      = {Theor. Comput. Sci.},
  volume       = {21},
  pages        = {269--279},
  year         = {1982},
  url          = {https://doi.org/10.1016/0304-3975(82)90077-9},
  doi          = {10.1016/0304-3975(82)90077-9},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Bergstra82,
  author       = {Jan A. Bergstra},
  editor       = {Hans{-}Dieter Ehrich and
                  Udo W. Lipeck},
  title        = {Specification of Parameterized Data Types},
  booktitle    = {Proceedings 1st Workshop on Abstract Data Type, 1982. University of
                  Dortmund, Germany},
  publisher    = {University of Dortmund},
  year         = {1982},
  timestamp    = {Fri, 19 Jul 2019 16:40:25 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Bergstra82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BergstraK82,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {Mogens Nielsen and
                  Erik Meineche Schmidt},
  title        = {Algebraic Specifications for Parametrized Data Types with Minimal
                  Parameter and Target Algebras},
  booktitle    = {Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark,
                  July 12-16, 1982, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {140},
  pages        = {23--34},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/BFb0012754},
  doi          = {10.1007/BFB0012754},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BergstraK82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/BergstraK82,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {Dines Bj{\o}rner},
  title        = {Formal Proof Systems for Program Equivalence},
  booktitle    = {Formal Description of Programming Concepts : Proceedings of the {IFIP}
                  Working Conference on Formal Description of Programming Concepts-
                  II, Garmisch-Partenkirchen, FRG, 1-4 June, 1982},
  pages        = {289--304},
  publisher    = {North-Holland},
  year         = {1982},
  timestamp    = {Tue, 15 Jan 2019 18:15:42 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/BergstraK82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/BergstraK82,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  editor       = {Mariangiola Dezani{-}Ciancaglini and
                  Ugo Montanari},
  title        = {A formalized proof system for total correctness of while programs},
  booktitle    = {International Symposium on Programming, 5th Colloquium, Torino, Italy,
                  April 6-8, 1982, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {137},
  pages        = {26--36},
  publisher    = {Springer},
  year         = {1982},
  url          = {https://doi.org/10.1007/3-540-11494-7\_3},
  doi          = {10.1007/3-540-11494-7\_3},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/programm/BergstraK82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraT81,
  author       = {Jan A. Bergstra and
                  Jerzy Tiuryn},
  title        = {Logic of effective definitions},
  journal      = {Fundam. Informaticae},
  volume       = {4},
  number       = {3},
  pages        = {661--674},
  year         = {1981},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraT81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraT81a,
  author       = {Jan A. Bergstra and
                  Jerzy Tiuryn},
  title        = {Algorithmic degrees of algebraic structures},
  journal      = {Fundam. Informaticae},
  volume       = {4},
  number       = {4},
  pages        = {851--862},
  year         = {1981},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraT81a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraM81,
  author       = {Jan A. Bergstra and
                  John{-}Jules Ch. Meyer},
  title        = {On the quantifier-free fragment of 'Logic of effective definitions'},
  journal      = {Fundam. Informaticae},
  volume       = {4},
  number       = {4},
  pages        = {935--956},
  year         = {1981},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BergstraT81b,
  author       = {Jan A. Bergstra and
                  Jerzy Tiuryn},
  title        = {Regular extensions of iterative algebras and metric interpretations},
  journal      = {Fundam. Informaticae},
  volume       = {4},
  number       = {4},
  pages        = {997--1014},
  year         = {1981},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BergstraT81b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BergstraM81,
  author       = {Jan A. Bergstra and
                  John{-}Jules Ch. Meyer},
  title        = {I/O-computable data structures},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {16},
  number       = {4},
  pages        = {27--32},
  year         = {1981},
  url          = {https://doi.org/10.1145/988131.988134},
  doi          = {10.1145/988131.988134},
  timestamp    = {Tue, 03 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/BergstraM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/BergstraT81,
  author       = {Jan A. Bergstra and
                  J. Terlouw},
  editor       = {Wilfried Brauer},
  title        = {A Characterization of Program Equivalence in Terms of Hoare's Logic},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {72--77},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_9},
  doi          = {10.1007/978-3-662-01089-1\_9},
  timestamp    = {Tue, 23 May 2017 01:10:33 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/BergstraT81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BergstraT81,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  editor       = {Shimon Even and
                  Oded Kariv},
  title        = {Algebraically Specified Programming Systems and Hoare's Logic},
  booktitle    = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
                  Israel, July 13-17, 1981, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {115},
  pages        = {348--362},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-10843-2\_29},
  doi          = {10.1007/3-540-10843-2\_29},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BergstraT81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BergstraCT81,
  author       = {Jan A. Bergstra and
                  Anna Chmielinska and
                  Jerzy Tiuryn},
  editor       = {Dexter Kozen},
  title        = {Hoare's Logic is Incomplete When It Does Not Have To Be},
  booktitle    = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
                  1981},
  series       = {Lecture Notes in Computer Science},
  volume       = {131},
  pages        = {9--23},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/BFb0025771},
  doi          = {10.1007/BFB0025771},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/BergstraCT81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lop/BergstraT81,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  editor       = {Dexter Kozen},
  title        = {The Refinement of Specifications and the Stabiliy of Hoare's Logic},
  booktitle    = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
                  1981},
  series       = {Lecture Notes in Computer Science},
  volume       = {131},
  pages        = {24--36},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/BFb0025772},
  doi          = {10.1007/BFB0025772},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/BergstraT81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BergstraBTW81,
  author       = {Jan A. Bergstra and
                  Manfred Broy and
                  John V. Tucker and
                  Martin Wirsing},
  editor       = {Jozef Gruska and
                  Michal Chytil},
  title        = {On the Power of Algebraic Specifications},
  booktitle    = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
                  Czechoslovakia, August 31 - September 4, 1981, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {118},
  pages        = {193--204},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-10856-4\_85},
  doi          = {10.1007/3-540-10856-4\_85},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/BergstraBTW81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bergstra80,
  author       = {Jan A. Bergstra},
  title        = {Discourse between processes},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {21},
  number       = {1},
  pages        = {131--134},
  year         = {1980},
  url          = {https://doi.org/10.1305/ndjfl/1093882945},
  doi          = {10.1305/NDJFL/1093882945},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bergstra80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraK80,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Invertible Terms in the Lambda Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {11},
  pages        = {19--37},
  year         = {1980},
  url          = {https://doi.org/10.1016/0304-3975(80)90032-8},
  doi          = {10.1016/0304-3975(80)90032-8},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraK80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/BergstraT80,
  author       = {Jan A. Bergstra and
                  Jerzy Tiuryn},
  title        = {Regular extensions of iterative algebras and metric interpretations},
  booktitle    = {Proc. 5eme Colleque de Lille sur les Arbres en Algebre et en Programmation,
                  Lilli, France, 21, 22 et 23 f{\'{e}}vier 1980},
  pages        = {1--10},
  publisher    = {Universit{\'{e}} de Lille 1},
  year         = {1980},
  timestamp    = {Wed, 03 Sep 2008 14:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/BergstraT80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BergstraT80,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  editor       = {J. W. de Bakker and
                  Jan van Leeuwen},
  title        = {A Characterisation of Computable Data Types by Means of a Finite Equational
                  Specification Method},
  booktitle    = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout,
                  The Netherlands, July 14-18, 1980, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {85},
  pages        = {76--90},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/3-540-10003-2\_61},
  doi          = {10.1007/3-540-10003-2\_61},
  timestamp    = {Fri, 12 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BergstraT80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Bergstra79,
  author       = {Jan A. Bergstra},
  title        = {Effective Transformations on Probabilistic Data},
  journal      = {Math. Log. Q.},
  volume       = {25},
  number       = {13-18},
  pages        = {219--226},
  year         = {1979},
  url          = {https://doi.org/10.1002/malq.19790251305},
  doi          = {10.1002/MALQ.19790251305},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/Bergstra79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/BergstraT79,
  author       = {Jan A. Bergstra and
                  John V. Tucker},
  title        = {On the adequacy of finite equational methods for data type specification},
  journal      = {{ACM} {SIGPLAN} Notices},
  volume       = {14},
  number       = {11},
  pages        = {13--18},
  year         = {1979},
  url          = {https://doi.org/10.1145/988056.988058},
  doi          = {10.1145/988056.988058},
  timestamp    = {Mon, 09 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigplan/BergstraT79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AptBM79,
  author       = {Krzysztof R. Apt and
                  Jan A. Bergstra and
                  Lambert G. L. T. Meertens},
  title        = {Recursive Assertions are not enough - or are they?},
  journal      = {Theor. Comput. Sci.},
  volume       = {8},
  pages        = {73--87},
  year         = {1979},
  url          = {https://doi.org/10.1016/0304-3975(79)90058-6},
  doi          = {10.1016/0304-3975(79)90058-6},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AptBM79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BergstraK79,
  author       = {Jan A. Bergstra and
                  Jan Willem Klop},
  title        = {Church-Rosser Strategies in the Lambda Calculus},
  journal      = {Theor. Comput. Sci.},
  volume       = {9},
  pages        = {27--38},
  year         = {1979},
  url          = {https://doi.org/10.1016/0304-3975(79)90004-5},
  doi          = {10.1016/0304-3975(79)90004-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/BergstraK79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BergstraT79,
  author       = {Jan A. Bergstra and
                  Jerzy Tiuryn},
  editor       = {Lothar Budach},
  title        = {Implicit definability of algebraic structures by means of program
                  properties},
  booktitle    = {Fundamentals of Computation Theory, {FCT} 1979, Proceedings of the
                  Conference on Algebraic, Arthmetic, and Categorial Methods in Computation
                  Theory, Berlin/Wendisch-Rietz, Germany, September 17-21, 1979},
  pages        = {58--63},
  publisher    = {Akademie-Verlag, Berlin},
  year         = {1979},
  timestamp    = {Mon, 29 Jul 2019 11:58:23 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BergstraT79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Bergstra78,
  author       = {Jan A. Bergstra},
  title        = {What is an Abstract Datatype?},
  journal      = {Inf. Process. Lett.},
  volume       = {7},
  number       = {1},
  pages        = {42--43},
  year         = {1978},
  url          = {https://doi.org/10.1016/0020-0190(78)90038-8},
  doi          = {10.1016/0020-0190(78)90038-8},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Bergstra78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BarendregtBKV78,
  author       = {Henk Barendregt and
                  Jan A. Bergstra and
                  Jan Willem Klop and
                  Henri Volken},
  title        = {Degrees of Sensible Lambda Theories},
  journal      = {J. Symb. Log.},
  volume       = {43},
  number       = {1},
  pages        = {45--55},
  year         = {1978},
  url          = {https://doi.org/10.2307/2271947},
  doi          = {10.2307/2271947},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jsyml/BarendregtBKV78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Bergstra78,
  author       = {Jan A. Bergstra},
  title        = {Degrees of partial functions},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {19},
  number       = {1},
  pages        = {152--154},
  year         = {1978},
  url          = {https://doi.org/10.1305/ndjfl/1093888219},
  doi          = {10.1305/NDJFL/1093888219},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/Bergstra78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Bergstra78,
  author       = {Jan A. Bergstra},
  editor       = {J{\'{o}}zef Winkowski},
  title        = {Decision Problems Concerning Parallel Programming},
  booktitle    = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th
                  Symposium, Zakopane, Poland, September 4-8, 1978},
  series       = {Lecture Notes in Computer Science},
  volume       = {64},
  pages        = {134--142},
  publisher    = {Springer},
  year         = {1978},
  url          = {https://doi.org/10.1007/3-540-08921-7\_62},
  doi          = {10.1007/3-540-08921-7\_62},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Bergstra78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BergstraOW77,
  author       = {Jan A. Bergstra and
                  Alexander Ollongren and
                  Theo P. van der Weide},
  editor       = {Marek Karpinski},
  title        = {An Axiomatization of the Rational Data Objects},
  booktitle    = {Fundamentals of Computation Theory, Proceedings of the 1977 International
                  FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23,
                  1977},
  series       = {Lecture Notes in Computer Science},
  volume       = {56},
  pages        = {33--38},
  publisher    = {Springer},
  year         = {1977},
  url          = {https://doi.org/10.1007/3-540-08442-8\_67},
  doi          = {10.1007/3-540-08442-8\_67},
  timestamp    = {Mon, 02 Sep 2019 13:37:20 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/BergstraOW77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics