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