Automated Software and Service Composition - Felix Mohr (Springer, 2016)