Compilation and Equivalence of Imperative Objects. - Andrew D. Gordon 001; Paul D. Hankin; Søren B. Lassen (FSTTCS, 1997)

A Concurrent Object Calculus: Reduction and Typing. - Andrew D. Gordon 001; Paul D. Hankin (HLCL, 1998)

A study of objects. - Paul D. Hankin (2001)