@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={streszczenie rozprawy doktorskiej},
 keywords={translatory języka programowania, algorytmy konwersji, algorytmy sterowania, kompilatory},
}