David A. Naumann On assertion-based encapsulation for object invariants and simulations. 205-224 2007 19 Formal Asp. Comput. 2 http://dx.doi.org/10.1007/s00165-006-0020-5 db/journals/fac/fac19.html#Naumann07