Monadic Logs for Collaborative Web Applications. - Sumit Agarwal; Daniel Bellinger; Oliver Kennedy; Ankur Upadhyay; Lukasz Ziarek (WebDB, 2013)