Udo W. Lipeck. Stepwise Specification of Dynamic Database Behaviour. In Carlo Zaniolo, editor, Proceedings of the 1986 ACM SIGMOD International Conference on Management of Data, Washington, D.C., May 28-30, 1986. pages 387-397, ACM Press, 1986. [doi]