1. Bougé L. (1988), On the Existance of Symmetric Algorithms to Find Leaders in Networks of Communicating Sequential Processes, Acta Informatica, 25, 179–201.
2. Budkowski S. (1992), Estelle Development Toolset, J. of Computer Networks and ISDN Systems, 25.
3. Dembinski P. (1996), Distributed and Always Successful Enumeration Algorithm, IPI PAN Reports 812.
4. Dembinski P. (1998), Randomized Enumeration, IPI PAN Reports 848.
5. ISO 9074 (1989), Information processing systems - Open Systems Interconnection - Estelle - A formal description technique based on an extended state transition model.