1. B. Berthomieu, N. Choquet, C. Colin, B. Loyer, J. Martin, and A. Mauboussin. Abstract data nets combining Petri nets and abstract data types for high level specifications of distributed systems. In Proceedings of the 7th European Workshop on Applications and Theory of Petri Nets, pages 25–48, Oxford, England, July 1986.
2. E. Best and C. Fernàndez. Notations and terminology on Petri net theory. Petri Net Newsletter, 23: 21–46, April 1986.
3. M. Broy and M. Wirsing. Partial abstract types. Acta Informatica, 18: 47–64, 1982.
4. M. Diaz. Modelling and analysis of communication and cooperation protocols using Petri net based models. In C. A. Sunshine, editor, Protocol Specification, Testing and Verification, pages 465–510, North-Holland Publishing Company, 1982.
5. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Volume 6 of EATCS Monographs on Theoretical Computer Science, Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985.