@misc{Szmuc_Tomasz_Dowodzenie,
 author={Szmuc, Tomasz},
 howpublished={online},
 publisher={Wydawnictwo Politechniki Śląskiej},
 language={pol},
 title={Dowodzenie poprawności programów sterowania dyskretnymi procesami},
 type={artykuł},
 keywords={Politechnika Śląska, automatyka},
}