Daniel Dui Wolfgang Emmerich Christian Nentwich Bryan Thal Consistency Checking of Financial Derivatives Transactions. 166-183 2002 conf/jit/2002node NetObjectDays http://link.springer.de/link/service/series/0558/bibs/2591/25910166.htm db/conf/jit/netobject2002.html#DuiENT02