Teodorczuk, P. and Penczek, W. 2003. Specyfikacja i automatyczna analiza protokołu komunikacyjnego. Studia Informatica. System and information technology. 2, 1 (Dec. 2003), 49–59.