Unification of Four Versions of Program Semantics Ingrid RewitzkyChris Brink Original Paper Pages: 1 - 29
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes Henri KorverAlex Sellink Original Paper Pages: 30 - 42
Partiality and Nondeterminacy in Program Proofs Joseph M. MorrisAlexander Bunkenburg Original Paper Pages: 76 - 96