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