Buscemi, Maria Grazia and Montanari, Ugo A First Order Coalgebraic Model of pi-Calculus Early Observational Equivalence. In: Proceedings of the 13th International Conference on Concurrency Theory (CONCUR ’02). Lecture Notes in Computer Science, 2421 . Springer, pp. 449-465. ISBN 3-540-44043-7 (2002)