Anne Bouillard Sidney Rosario Albert Benveniste Stefan Haar Monotony in Service Orchestrations http://arxiv.org/abs/0804.4896 2008 CoRR abs/0804.4896 db/journals/corr/corr0804.html#abs-0804-4896 informal publication