David B. Benson. The Category of Milner Processes is Exact. In David H. Pitt, Axel Poigné, David E. Rydeheard, editors, Category Theory and Computer Science, Edinburgh, UK, September 7-9, 1987, Proceedings. Volume 283 of Lecture Notes in Computer Science, pages 71-97, Springer, 1987.