1. Alilovic-Curgus, J., Vuong, S.T.: A Metric Based Theory of Test Selection and Coverage. Protocol Specification, Testing and VerificationXIII. Elsevier Science Publishers B.V. IFIP, 1993.
2. Bertsekas, D., Gallagher, R.: Data Networks, Prentice-Hall International Ed., 1992.
3. Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A Theory of Communicating Sequential Processes. Journal of the ACM 31, 1984
4. Brinksma, E.: A Theory for the Derivation of Tests. Protocol Specification, Testing and Verification VIII, 63–74. 1988.
5. Brinksma, E., Tretmans J., Verhaard, L.: A Framework for Test Selection. Protocol Specification, Testing and Verification, XI. Elsevier Science Publishers B.V. 233–248, 1991.