in: Models of Computation in Context, Springer Journal uri icon