@misc{Konieczny_Roman_Specyfikacja,
 author={Konieczny, Roman},
 howpublished={online},
 publisher={Wydawnictwo Politechniki Śląskiej},
 language={pol},
 title={Specyfikacja formalna w projektowaniu programów komputerowych},
 type={artykuł},
 keywords={Politechnika Śląska, logistyka, transport},
}