1. H. Afsharazad, L. Lindberg: "Implementing Algorithms and a Graphical Interface for Test Trees", M.Sc. thesis DoCS 88/12, Department of Computer Systems, Uppsala University, 1988, (in Swedish)
2. T. Bolognesi, S.A. Smolka: "Fundamental Results for the Verification of Observational Equivalence: a Survey", Proc. 7th Intl. Symp. on Protocol Specification, Testing and Verification, (1987)
3. S.D. Brookes, C.A.R. Hoare, A.W. Roscoe: "A Theory of Communicating Sequential Processes", J. ACM
31:3, pp 560–599, (1984)
4. I. Christoff: "Test Trees" (preliminary report), Research report DoCS 88/14, Department of Computer Systems, Uppsala University, 1988
5. I. Christoff: "Testing for Conformance", Proc. 2nd Intl. Symp. on Interoperable Information Systems, pp 273–280, (1988)