@inproceedings{Caires10,
  title      = {A simple proof system for lock-free concurrency},
  volume     = {12},
  ISSN       = {2398-7340},
  DOI        = {10.29007/n3nk},
  booktitle  = {EPiC Series in Computing},
  publisher  = {EasyChair},
  author     = {Caires, Luís and Ferreira, Carla and Ravara, António},
  pages      = {1––3},
  year       = {2010},
}