Dui, D; Emmerich, W; Nentwich, C; Thal, B; (2003) Consistency checking of financial derivatives transactions. In: Aksit, M and Mezini, M and Unland, R, (eds.) UNSPECIFIED (pp. 166-183). SPRINGER-VERLAG BERLIN Green open access