Papers:
R.J.R. Back and J. von Wright Interpreting Nondeterminism in the Refinement Calculus (Invited Lecture) http://dx.doi.org/10.14236/ewic/RW1996.1
M. Butler Calculational Derivation of Algorithms on Tree-Based Pointer Structures http://dx.doi.org/10.14236/ewic/RW1996.2
D. Carrington, I. Hayes, R. Nickson, G. Watson and J. Welsh A Tool for Developing Correct Programs by Refinement http://dx.doi.org/10.14236/ewic/RW1996.3
Z. Chaochen and M.R. Hansen Chopping a Point http://dx.doi.org/10.14236/ewic/RW1996.4
A. Dekdouk and A. Schaff On Using Syntactic Action Refinement to Derive Compositionally a Timed Efficient Implementation http://dx.doi.org/10.14236/ewic/RW1996.5
L. Groves Procedures in the Refinement Calculus: A New Approach? http://dx.doi.org/10.14236/ewic/RW1996.6
H. Jifeng, A. McIsaac and G. Barrett Design and Verification of a Coherent Shared Memory http://dx.doi.org/10.14236/ewic/RW1996.7
K. Lano and J. Dick Development of Concurrent Systems in B AMN http://dx.doi.org/10.14236/ewic/RW1996.8
N.A. Lobo Specification of the Dynamic Channel Selection (DCS) in DECT http://dx.doi.org/10.14236/ewic/RW1996.9
C. Morgan Proof Rules for Probabilistic Loops http://dx.doi.org/10.14236/ewic/RW1996.10
B. Moszkowski Using Temporal Fixedpoint to Compositionally Reason about Liveness http://dx.doi.org/10.14236/ewic/RW1996.11
D. Roegel Separating Algorithm and Implementation in the Refinement of Parallel Program Specifications http://dx.doi.org/10.14236/ewic/RW1996.12
K.J. Ross Models for Configuration Management of Refinement Calculus Developments http://dx.doi.org/10.14236/ewic/RW1996.13
M. Utting and C. Fidge A Real-Time Refinement Calculus that Changes Only Time http://dx.doi.org/10.14236/ewic/RW1996.14
X. Qiwen On Compositionality in Refining Concurrent Systems http://dx.doi.org/10.14236/ewic/RW1996.15