1. Java Series;K. Arnold,2005
2. Lecture Notes in Computer Science;N. Sidorova,2006
3. Dijkstra, E.W.: Shmuel Safra’s version of termination detection. EWD998-0, Univ. Texas, Austin (1987)
4. ETSI ES 201 873-1 V3.1.1 (2005-06). Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language.
5. ETSI ES 201 873-4 V3.1.1 (2005-06). MTS; TTCN-3; Part 4: TTCN-3 Operational Semantics.