@Article{Alkassar:SADHANA-34-1-145,
  author =       "Eyad Alkassar and Sebastian Bogan and Wolfang Paul",
  title =        "Proving the Correctness of Client/Server Software",
  journal =      "S\={a}dhan\={a}: Academy Proceedings in Engineering
                 Sciences",
  pages =        "145--191",
  URL =          "http://www.ias.ac.in/sadhana/Pdf2009Feb/145.pdf",
  ee =           "http://dx.doi.org/10.1007/s12046-009-0004-2",
  year =         "2009",
  volume =       "34",
  number =       "1",
  publisher =    "Springer India",
}