\input zb-basic
\input zb-ioport
\iteman{io-port 05417739}
\itemau{J\'unior, Antonio Carvalho; Silva, Leila; Corn\'elio, M\'arcio}
\itemti{Using cafeobj to mechanise refactoring proofs and application.}
\itemso{Electron. Notes Theor. Comput. Sci. 184, 39-61 (2007).}
\itemcc{}
\itemut{}
\itemli{doi:10.1016/j.entcs.2007.03.014}
\end