Udo W. Lipeck Transformation of Dynamic Integrity Constraints into Transaction Specifications. 115-142 1990 76 Theor. Comput. Sci. 1 db/journals/tcs/tcs76.html#Lipeck90