@article{PT11:JAL,
author = {R.~Pugliese and F.~Tiezzi},
title = {{A Calculus for Orchestration of Web Services}},
journal = {Journal of Applied Logic},
publisher = {Elsevier},
year = {2011},
note = {To appear},
}