\input zb-basic
\input zb-ioport
\iteman{io-port 70576160}
\itemau{Mhamdi, Tarek; Hasan, Osman; Tahar, Sofi\`ene}
\itemti{Formalization of entropy measures in HOL}
\itemso{ITP, 233-248 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-22863-6\_18}
\end