@incollection{castaneda2015specifying,
  title={Specifying concurrent problems: beyond linearizability and up to tasks},
  author={Castaneda, Armando and Rajsbaum, Sergio and Raynal, Michel},
  booktitle={Distributed Computing},
  pages={420--435},
  year={2015},
  publisher={Springer}
}