TACAS 2006Why Waste a Perfectly Good Abstraction?Arie Gurfinkel, Marsha ChechikDOI 10.1007/11691372_14dblpBibTeXNo abstract available.