Ian A. Pratt

The User-Safe Device I/O Architecture

Ian A. Pratt, 1997 .

The Xenoserver Computing Infrastructure A project overview

Keir Fraser, Tim Harris, Ian M. Leslie, 2003 .

Spatial logic and the complexity of diagrammatic reasoning

Oliver Lemon, Ian A. Pratt, Oliver Lemon, 1997 .