Bernd Krieg-Brückner Algebraic Formalisation of Program Development by Transformation. 34-48 1988 conf/esop/1988 ESOP db/conf/esop/esop88.html#Krieg-Bruckner88 http://dx.doi.org/10.1007/3-540-19027-9_3