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: 20 jul. 2025.