@Article{	  hvitved.ea:trace-based:2012,
  author	= {Tom Hvitved and Felix Klaedtke and Eugen Zalinescu},
  copyright	= {Elsevier},
  journal	= {The Journal of Logic and Algebraic Programming},
  language	= {USenglish},
  number	= 2,
  pages		= {72--98},
  title		= {A trace-based model for multiparty contracts},
  volume	= 81,
  year		= 2012,
  user		= {felixkl}
}