@misc{Mili_Ali._An,
 author={Mili, Ali.},
 howpublished={online},
 publisher={Van Nostrand Reinhold Company},
 language={eng},
 title={An Introduction to Formal Program Verification},
 type={książka},
 type={dokument piśmienniczy},
}