Experience report: using RESOLVE/C++ for commercial software.

Joseph E. Hollingsworth Lori Blankenship Bruce W. Weide Experience report: using RESOLVE/C++ for commercial software. 11-19 2000 SIGSOFT FSE http://portal.acm.org/citation.cfm?id=355045.355048 db/conf/sigsoft/fse2000.html#HollingsworthBW00