| 1 | -- | 2 | John Derrick, Eerke Boiten, Jim Woodcock, Joakim von Wright. Preface |
| 3 | -- | 0 | Ralph-Johan Back, Joakim von Wright. Compositional Action System Refinement |
| 4 | -- | 20 | Steve Dunne. Junctive Compositions of specifications in total, general correctness |
| 21 | -- | 36 | Luke Wildman, Colin J. Fidge. The variety of variables in computer-aided real-time programming |
| 37 | -- | 49 | Adrian J. Hilton, Jon G. Hall. Refining specifications to programmable logic |
| 50 | -- | 69 | Susan Stepney, Fiona A. C. Polack, Ian Toyn. Refactoring in maintenance and development of Z specifications |
| 70 | -- | 93 | Lindsay Groves. Refinement and the Z schema calculus |
| 94 | -- | 131 | Eerke Boiten, John Derrick. Unifying concurrent and relational refinement |
| 132 | -- | 162 | Ana Cavalcanti, Augusto Sampaio, Jim Woodcock. Refinement of actions in Circus |
| 163 | -- | 177 | Matthias Anlauff, Asuman Sünbül. Towards component based systems: refining connectors |
| 178 | -- | 0 | Kai Engelhardt. Towards a refinement theory that supports reasoning about knowledge and time for multiple agents |
| 179 | -- | 198 | Emil Sekerinski. Tabular verification and refinement |
| 199 | -- | 216 | Yngve Lamo, Michal Walicki. Composition and refinement of specifications and parameterised data types |
| 217 | -- | 243 | Jim Davies, Charles Crichton. Concurrency and refinement in the UML |
| 244 | -- | 259 | Harald Fecher, Mila E. Majster-Cederbaum. Taking decisions late: end-based choice combined with action refinement |
| 260 | -- | 280 | Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu. Refinement of actions in a real-time process algebra with a true concurrency model |
| 281 | -- | 0 | Bernhard K. Aichernig. Contract-based mutation testing in the refinement calculus |
| 282 | -- | 296 | Antónia Lopes, José Luiz Fiadeiro. Superposition: Composition vs refinement of non-deterministic action-based systems |
| 297 | -- | 310 | Christie Bolton, Jim Davies. A comparison of refinement orderings and their associated simulation rules |
| 311 | -- | 330 | Márcio Cornélio, Ana Cavalcanti, Augusto Sampaio. Refactoring by Transformation |