Teodorczuk, P., & Penczek, W. (2003). Specyfikacja i automatyczna analiza protokołu komunikacyjnego. Studia Informatica. System and Information Technology, 2(1), 49-59. https://czasopisma.uph.edu.pl/studiainformatica/article/view/2904