@Article{Hvivted_etal:contracts,
  author = 	 {Tom Hvitved and Felix Klaedtke and Eugen Z\u alinescu},
  title = 	 {A Trace-based Model for Multiparty Contract},
  journal = 	 {The Journal of Logic and Algebraic Programming},
  year = 	 {2012},
  volume = 	 {81},
  number = 	 {2},
  pages = 	 {72--98},
}