K. Rustan M. Leino Challenges in Increasing Tool Support for Programming. 35-35 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=35 2004 conf/ictac/2004 ICTAC db/conf/ictac/ictac2004.html#Leino04