Neelam Soundarajan Stephen Fridella Incremental Reasoning for Object Oriented Systems. 302-333 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2635&spage=302 2004 conf/birthday/2004dahl Essays in Memory of Ole-Johan Dahl db/conf/birthday/dahl2004.html#SoundarajanF04