Analiza algorytmów diagnostyki reduktorów jednostek pomp za pomocą metod formalnych — Analysis of pumping unit reducers diagnostic algorithms by formalized methods / B. V. Kopey, O. I. Stefanyshyn, S. BEDNARZ // W: Oil-Gas AGH 2012 : 23\textsuperscript{rd} international conference : unconventional natural gas in Poland : 29–31 V 2012, [Krakow] : abstract book. — [Kraków : AGH], [2012]. — Opis wg okł.. — S. 9. — Tekst pol.-ang.. — S. Bednarz – brak afiliacji AGH