Neelam Soundarajan Stephen Fridella Framework-Based Applications: From Incremental Development to Incremental Reasoning. 100-116 2000 conf/icsr/2000 ICSR db/conf/icsr/icsr2000.html#SoundarajanF00 http://dx.doi.org/10.1007/b75206