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