@misc{Sadolewski_Jan_Metodyka,
 author={Sadolewski, Jan},
 howpublished={online},
 language={pol},
 title={Metodyka specyfikacji, weryfikacji i implementacji oprogramowania dla systemów sterowania},
 title={Methodics of specification, verification and software implementation for control systems},
 type={rozprawa doktorska},
 keywords={algorytmy konwersji, algorytmy sterowania, kompilatory, translatory języka programowania},
}