The Calculus of Looping Sequences | Publicación