Teodorczuk, P. and Penczek, W. (2003) “Specyfikacja i automatyczna analiza protokołu komunikacyjnego”, Studia Informatica. System and information technology, 2(1), pp. 49–59. Available at: https://czasopisma.uph.edu.pl/studiainformatica/article/view/2904 (Accessed: 5 May 2024).