@article{din12jlap,
  author =	 {Crystal Chang Din and Johan Dovland and Einar Broch
                  Johnsen and Olaf Owe},
  title =	 {Observable Behavior of Distributed Systems:
                  Component Reasoning for Concurrent Objects},
  journal =	 {Journal of Logic and Algebraic Programming},
  volume =	 81,
  number =	 3,
  pages =	 "227--256",
  year =	 2012,
  doi =		 "10.1016/j.jlap.2012.01.003",
}