@InProceedings{DongolICTAC07,
  author = 	 {Robert Colvin and Brijesh Dongol},
  title = 	 {Verifying Lock-Freedom Using Well-Founded Orders},
  booktitle =	 {Theoretical Aspects of Computing -- ICTAC 2007},
  pages =	 {124--138},
  year =	 2007,
  editor =	 {C. B. Jones and Z. Lui and J. Woodcock},
  volume =	 4711,
  series =	 {LNCS},
  publisher =	 {Springer Berlin / Heidelberg},
  note =	 {10.1007/978-3-540-75292-9_9}
}