Teodorczuk, P., and Wojciech Penczek. 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.