| |
| 2006 | ||
|---|---|---|
| 2 | EE | Gift Nuka, Jim Woodcock: Mechanising a Unifying Theory. UTP 2006: 217-235 |
| 2004 | ||
| 1 | EE | Gift Nuka, Jim Woodcock: Mechanising the Alphabetised Relational Calculus. Electr. Notes Theor. Comput. Sci. 95: 209-225 (2004) |
| 1 | Jim Woodcock (J. C. P. Woodcock) | [1] [2] |