Zhou, He, Cheng, Lau, 2015. A Declarative Optimization Engine for Resource Provisioning of Scientific Workflows in IaaS Clouds, in: . ACM Press.. https://doi.org/10.1145/2749246.2749251