title: the impress ddt : a database design toolbox based on a formal specification language. authors: j flokstra , m keulen , j skowronek. venue: sigmod conference. year: 1994
title: aspect : a formal specification languagefor detecting bugs. authors: d jackson. venue: mit/lcs/tr -543 , mit laboratory for computer science , june. year: nan