@misc{Dudek_Paweł_On_2010,
 author={Dudek, Paweł and Kurkowski, Mirosław},
 type={artykuł},
 publisher={Wydawnictwo Akademii im. Jana Długosza w Częstochowie},
 title={On some specification languages of cryptographic protocols},
 address={Częstochowa},
 year={2010},
 language={eng},
}