K.-D. Schewe and Q. Wang, “A customised ASM thesis for database transformations”, Acta Cybern, vol. 19, no. 4, pp. 765-805, Jan. 2010.