Consistency Checking of Financial Derivatives Transactions. - Daniel Dui; Wolfgang Emmerich; Christian Nentwich; Bryan Thal (NetObjectDays, 2002)