Teodorczuk, P., and Wojciech Penczek. “Specyfikacja I Automatyczna Analiza protokołu Komunikacyjnego”. Studia Informatica. System and information technology 2, no. 1 (December 15, 2003): 49–59. Accessed May 5, 2024. https://czasopisma.uph.edu.pl/studiainformatica/article/view/2904.