| |
| 1992 | ||
|---|---|---|
| 2 | P. J. Brumfitt: MetaMorph - A Formal Methods Toolkit with Application to the Design of Digital Hardware. J. Funct. Program. 2(4): 437-473 (1992) | |
| 1984 | ||
| 1 | EE | P. J. Brumfitt: Environments for image processing algorithm development. Image Vision Comput. 2(4): 198-203 (1984) |