| |
| 2002 | ||
|---|---|---|
| 3 | EE | Richard Buckland, Michael Johnson, Dominic Verity: On the Specification of Higher Dimensional Automata. Electr. Notes Theor. Comput. Sci. 68(1): (2002) |
| 1997 | ||
| 2 | EE | Richard Buckland: Can we improve teaching in computer science by looking at how English Is Taugh? ACSE 1997: 155-162 |
| 1996 | ||
| 1 | Richard Buckland, Michael Johnson: ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata. AMAST 1996: 587-590 | |
| 1 | Michael Johnson | [1] [3] |
| 2 | Dominic Verity | [3] |