Patrick Lam Viktor Kuncak Martin C. Rinard Hob: A Tool for Verifying Data Structure Consistency. 237-241 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=237 2005 conf/cc/2005 CC db/conf/cc/cc2005.html#LamKR05