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