Volume XXX, Issue 2, 2020

Instruction Sequence Faults with Formal Change Justification, pages 105-166

Authors: J.A. Bergstra

Sumterms, Summands, Sumtuples, and Sums and the Meta-Arithmetic of Summation, pages 167–203

Authors: J.A. Bergstra

Probabilistic Process Algebra and Strategic Interleaving, pages 205–243

Authors: C.A. Middelburg