@Article{BarnettEA10,
  author       = {M. Barnett and M. F\"ahndrich and K. R. M. Leino and P. M\"uller and W. Schulte and H. Venter},
  title        = {Specification and Verification: The Spec\# Experience},
  journal      = {Communications of the ACM},
  month        = {June},
  year         = {2011},
  volume       = {54},
  number       = {6},
  pages        = {81-91},
  publisher    = {ACM},
  url          = {http://doi.acm.org/10.1145/1953122.1953145},
  urltext      = {[Publisher]}
}