Bernd Krieg-Brückner Junbo Liu Hui Shi Burkhart Wolff Towards Correct, Efficient and Reusable Transformational Developments. 270-284 1995 conf/korso/1995 KORSO Book db/conf/korso/korso1995.html#Krieg-BrucknerLSW95