1. Lecture Notes in Computer Science;M. Calder,2001
2. Lecture Notes in Computer Science;C. Capellmann,1999
3. Lecture Notes in Computer Science;A. Cavalli,2002
4. Cohen, R., Segall, A.: An Efficient Reliable Ring Protocol. IEEE Transactions on Communications 39(11), 1616–1623 (1991)
5. Gibson, P., Hamilton, G., Mery, D.: Integration Problems in Telephone Feature Requirements. In: Proc. of the 1st Intern. Conf. on Integrated Formal Methods, York (IFM 1999), pp. 129–148. Springer, Heidelberg (1999)