conf/sigmod/94 Jan Flokstra Maurice van Keulen Jacek Skowronek The IMPRESS DDT: A Database Design Toolbox Based on a Formal Specification Language. 506 1994 SIGMOD Conference db/conf/sigmod/sigmod94.html#FlokstraKS94 http://doi.acm.org/10.1145/191839.191951 db/conf/sigmod/sigmod94-506.html SIGMOD94/P506.PDF conf/dood/BalB93 conf/ecoop/BalstersBZ93 ... journals/tcs/BalstersF91 conf/dbpl/BalstersV91