| 1999 | ||
|---|---|---|
| 4 | EE | John Wordsworth: Getting the best from formal methods. Information & Software Technology 41(14): 1027-1032 (1999) |
| 1990 | ||
| 3 | John Bainbridge, R. W. Whitty, John Wordsworth: Obtaining Structural Metrics of Z Specifications for Systems Development. Z User Workshop 1990: 269-281 | |
| 2 | John Wordsworth: The CICS Application Programming Interface Definition. Z User Workshop 1990: 285-294 | |
| 1989 | ||
| 1 | John Wordsworth: Practical Experience of Formal Specification: A Programming Interface for Communications. ESEC 1989: 140-158 | |
| 1 | John Bainbridge | [3] |
| 2 | Robin W. Whitty (R. W. Whitty) | [3] |