Shrinking the Ocean: Formalizing I/O Methods Modern Operating Systems. - Matthew B. Gerber; John Leeson (Int. J. Digit. EVid., 2002)

Formalization of computer input and output: the Hadley model. - Matthew B. Gerber; John Leeson (Digit. Investig., 2004)

Origins and progress. - Eoghan Casey; Gary Gordon; John Leeson (Digit. Investig., 2005)