@Article{SCI:Li2011a,
  author =    "G. Li and R. Palmer and M. DeLisi and G.
              Gopalakrishnan and R.M. Kirby",
  title =     "Formal Specification of {MPI} 2.0: Case Study in
              Specifying a Practical Concurrent Programming
              {API}",
  journal =   "Science of Computer Programming",
  volume =    "76",
  pages =     "65--81",
  year =      "2011",
  doi =       "10.1016/j.scico.2010.03.007",
  url =       "http://www.sci.utah.edu/publications/li11/Li_SCP2011.pdf",
}