Unifying Theories of Objects (Integrated Formal Methods, 2007)

(untitled) - Smith, M; Gibbons, J