Jan Flokstra, Maurice van Keulen, Jacek Skowronek. The IMPRESS DDT: A Database Design Toolbox Based on a Formal Specification Language. In Richard T. Snodgrass, Marianne Winslett, editors, Proceedings of the 1994 ACM SIGMOD International Conference on Management of Data, Minneapolis, Minnesota, May 24-27, 1994. pages 506, ACM Press, 1994. [doi]
Abstract is missing.