Teodorczuk, P., and Wojciech Penczek. “Specyfikacja I Automatyczna Analiza protokołu Komunikacyjnego”. Studia Informatica. System and Information Technology, vol. 2, no. 1, Dec. 2003, pp. 49-59, https://czasopisma.uws.edu.pl/studiainformatica/article/view/2904.