Teodorczuk, P.; Penczek, W. Specyfikacja I Automatyczna Analiza protokołu Komunikacyjnego. SI 2003, 2 (1), 49-59.