| |
| 2004 | ||
|---|---|---|
| 2 | EE | Matthew B. Gerber, John Leeson: Formalization of computer input and output: the Hadley model. Digital Investigation 1(3): 214-224 (2004) |
| 2002 | ||
| 1 | EE | Matthew B. Gerber, John Leeson: Shrinking the Ocean: Formalizing I/O Methods Modern Operating Systems. IJDE 1(2): (2002) |
| 1 | John Leeson | [1] [2] |