Correctness of services and their composition by N. Lohmann