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)