Jaskó, S. 2005. A New Mathematical Formalism for the TTCN 3 core language. Periodica Polytechnica Electrical Engineering. 49, 3-4 (Jan. 2005), 163–174.