| 1996 |
| 5 | | Qinghang Li,
Hans J. Holdener,
Lucia Zamorano,
Paul King,
Zhaowei Jiang,
Federico C. Vinas,
L. Nolte,
H. Visarius,
Fernando Diaz:
Computer-Assisted Insertion of Pedicle Screws.
VBC 1996: 571-580 |
| 1993 |
| 4 | | Ashley Beitz,
Paul King,
Kerry Raymond:
Comparing two Distributed Environments: DCE and ANSAware.
DCE Workshop 1993: 21-38 |
| 1991 |
| 3 | | Roger Duke,
Paul King,
Gordon A. Rose,
Graeme Smith:
Associated Paper: The Object-Z Specification Language.
TOOLS (5) 1991: 465-484 |
| 1990 |
| 2 | | Paul King,
Graeme Smith:
Formalisation of behavioural and structural concepts for communication systems.
PSTV 1990: 3-18 |
| 1989 |
| 1 | | David A. Carrington,
David J. Duke,
Roger Duke,
Paul King,
Gordon A. Rose,
Graeme Smith:
Object-Z: An Object-Oriented Extension to Z.
FORTE 1989: 281-296 |