@misc{Alagić_Suad._Projektowanie,
 author={Alagić, Suad. and Arbib, Michael A.},
 howpublished={online},
 publisher={Wydawnictwa Naukowo-Techniczne},
 title={Projektowanie programów poprawnych i dobrze zbudowanych},
 type={książka},
 type={dokument piśmienniczy},
}