Ronald Middelkoop Cornelis Huizing Ruurd Kuiper Erik J. Luit Specification and Verification of Invariants by Exploiting Layers in OO Designs. 377-398 2008 85 Fundam. Inform. 1-4 http://iospress.metapress.com/content/d557hw7gjp186510/ db/journals/fuin/fuin85.html#MiddelkoopHKL08