@article{HvitvedKZ-JLAP12, author = {Tom Hvitved and Felix Klaedtke and Eugen Zalinescu}, title = {A {T}race-based {M}odel for {M}ulti-{P}arty {C}ontracts}, journal = {Journal of Logic and Algebraic Programming}, year = 2012, pages = {72--98}, volume = {81}, number = {2}, doi = {10.1016/j.jlap.2011.04.010}, }