Analysis of pumping unit reducers diagnostic algorithms by formalized methods — Analiza algorytmów diagnostyki reduktorów jednostek pomp za pomocą metod formalnych / B. V. Kopey, O. I. Stefanyshyn, S. BEDNARZ // AGH Drilling, Oil, Gas ; ISSN 2299-4157. — Tytuł poprz.: Wiertnictwo, Nafta, Gaz ; ISSN: 1507-0042. — 2012 vol. 29 no. 1, s. 207–215. — Bibliogr. s. 214–215, Streszcz., Summ.. — Toż. na dołączonym CD-ROMie. — tekst: http://journals.bg.agh.edu.pl/DRILLING/2012-01/W_2012_1_18.pdf