Retracing some paths in process algebra - Abramsky, S (Springer−Verlag, 1996)