TEODORCZUK, P.; PENCZEK, W. Specyfikacja i automatyczna analiza protokołu komunikacyjnego. Studia Informatica. System and information technology, [S. l.], v. 2, n. 1, p. 49–59, 2003. Disponível em: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2904. Acesso em: 5 may. 2024.