G.  Amato, Giannotti, F., and Mainetto, G., ?Conservative Multigranularity Locking for an Obiect-Oriented Persistent Language via Abstract Interpretation?, in SEBD, 1994, pp. 329-349.