JASKÓ, Szilárd. A New Mathematical Formalism for the TTCN 3 core language. Periodica Polytechnica Electrical Engineering, [S. l.], v. 49, n. 3-4, p. 163–174, 2005. Disponível em: https://pp.bme.hu/ee/article/view/917. Acesso em: 8 may. 2024.