@inproceedings{LPT07:ESOP,
author = {A.~Lapadula and R.~Pugliese and F.~Tiezzi},
title = {A {C}alculus for {O}rchestration of {W}eb {S}ervices},
booktitle = {Proc. of 16th European Symposium on Programming (ESOP'07)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {33-47},
year = {2007}
}