@Article{DG06,
  author = 	 {Dongol, B. and Goldson, D.},
  title = 	 {Extending the theory of Owicki and Gries with a logic of progress},
  journal = 	 {Logical Methods in Computer Science},
  year = 	 2006,
  volume =	 2,
  number =	 6,
  pages =	 {1-25}
}