TEODORCZUK, P.; PENCZEK, Wojciech. 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: 22 jul. 2024.