Molham Aref: Declarative programming for the cloud. SPLASH (Companion Volume) 2013: 5-6