@Journal{ABP09,
AUTHOR = {Alkassar, E. and Bogan, S. and Paul, W.},
TITLE = {Proving the Correctness of Client/Server Software},
VOLUME = {34},
YEAR = {2009},
PAGES = {145-192},
BOOKTITLE = {Sadhana Journal},
PUBLISHER = {Springer},
EE = {http://www.ias.ac.in/sadhana/Pdf2009Feb/145.pdf},
}