Bernd Krieg-Brückner Junbo Liu Burkhart Wolff Hui Shi Towards Correctness, Efficiency and Reusability of Transformational Developments. 241-246 1993 GI Jahrestagung db/conf/gi/gi93.html#Krieg-BrucknerLWS93