Assertional data reification proofs: survey and perspective / by J. Coenen, W.-P. de Roever, J. ZwiersA note on compositional refinement / by J. Coenen, J. Zwiers, W.-P. de RoeverLayering techniques for development of parallel systems / Mannes Poel, Job SwiersAction systems and action refinement in the development of parallel systems : an algebraic approach / Wil Janssen, Mannes Poel, Job ZwiersSpecifying and proving communication closedness in protocols / Wil Janssen and Job ZwiersThe compositional approach to sequential consistency and lazy caching / Wil Janssen, Mannes Poel, Job ZwiersConsistent alternatives of parallelism with conflicts : two partial order semantics for shared variable concurrency / Wil Janssen, Mannes Poel, Job Zwiers