Declarative Programming for Mobile Crowdsourcing: Energy Considerations and Applications Edited Book uri icon