Beyond Weiser: From Ubiquitous to Collective Computing
On Computable Numbers, with an Application to the Entscheidungsproblem.