Volume XXX, Issue 2, 2020 Instruction Sequence Faults with Formal Change Justification, pages 105-166 Authors: J.A. Bergstra Abstract | References | BibTeX | Full Text (PDF) Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation, pages 167–203 Authors: J.A. Bergstra Abstract | References | BibTeX | Full Text (PDF) Probabilistic Process Algebra and Strategic Interleaving, pages 205–243 Authors: C.A. Middelburg Abstract | References | BibTeX | Full Text (PDF)