@techreport{LeinoMuellerSmans10a,
  author    = {K. R. M. Leino and P. M\"uller and J. Smans},
  title = {Deadlock-free Channels and Locks},
  year = {2010},
  month = {January},
  number = {CW573},
  institution = {Department of Computer Science, K.U.Leuven},
  type = {CW Reports},
  note = {Extended version of the ESOP 2010 paper},
  url = {https://lirias.kuleuven.be/handle/123456789/265419}
}