Daniel Dui, Wolfgang Emmerich, Christian Nentwich, Bryan Thal. Consistency Checking of Financial Derivatives Transactions. In Mehmet Aksit, Mira Mezini, Rainer Unland, editors, Objects, Components, Architectures, Services, and Applications for a Networked World, International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers. Volume 2591 of Lecture Notes in Computer Science, pages 166-183, Springer, 2002. [doi]