@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},
}