Jaskó, Szilárd. 2005. “A New Mathematical Formalism for the TTCN 3 Core Language”. Periodica Polytechnica Electrical Engineering 49 (3-4):163-74.