Authors: Wakeman, I Jeffrey, A Owen, T Pepper, D

Citation: I. Wakeman et al., SafetyNet: A language-based approach to programmable networks, COMPUT NET, 36(1), 2001, pp. 101-114

Authors: Jeffrey, A Barry, G

Citation: A. Jeffrey et G. Barry, Some problems associated with the determination of mercury in plant material and biological tissue, COMM SOIL S, 31(11-14), 2000, pp. 1929-1934

Authors: Jeffrey, A

Citation: A. Jeffrey, A fully abstract semantics for a higher-order functional language with nondeterministic computation, THEOR COMP, 228(1-2), 1999, pp. 105-150