Keith E. Williamson Michael Healy Richard A. Barker Reuse of Knowledge at an Appropriate Level of Abstraction - Case Studies Using Specware. 58-73 2000 conf/icsr/2000 ICSR db/conf/icsr/icsr2000.html#WilliamsonHB00 http://dx.doi.org/10.1007/b75206