An imperative, first-order calculus with object extension (1998)

by Viviana Bono, Kathleen Fisher
Venue:12th ECOOP, number 1445 in LNCS