@InProceedings{,
 author = {D. Lamch, R. Wyrzykowski},
 booktitle = {Proceedings Cracow'06 Grid Workshop},
 title = {Specification, analysis and testing of statefull grid services},
 pages = {417--424},
 year = {2007}
 }