| |
| 1995 | ||
|---|---|---|
| 3 | Simon W. Moore, Brian T. Graham: Tagged Up/Down Sorter - A Hardware Priority Queue. Comput. J. 38(9): 695-703 (1995) | |
| 1994 | ||
| 2 | Brian T. Graham: An Interpretation of NODEN in HOL. TPHOLs 1994: 221-234 | |
| 1989 | ||
| 1 | Brian T. Graham, Graham M. Birtwistle: Formalising the Design of an SECD chip. Hardware Specification, Verification and Synthesis 1989: 40-66 | |
| 1 | Graham M. Birtwistle | [1] |
| 2 | Simon W. Moore | [3] |