Locating reaction with 2-categories, Theoretical Computer Science 333 (2003)

by V Sassone, P Sobocinski