Playable cities : the city as a digital playground / Anton Nijholt, editor. Singapore : Springer, 2017