| 2002 | ||
|---|---|---|
| 2 | EE | Ralph Miarka, John Derrick, Eerke A. Boiten: Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225 |
| 2000 | ||
| 1 | EE | Ralph Miarka, Eerke A. Boiten, John Derrick: Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303 |
| 1 | Eerke A. Boiten | [1] [2] |
| 2 | John Derrick | [1] [2] |