Mattias Waldau Formal Validation of Transformation Schemata. 97-110 1991 LOPSTR db/conf/lopstr/lopstr91.html#Waldau91