\input zb-basic
\input zb-ioport
\iteman{io-port 05514528}
\itemau{Campagnolo, Manuel Lameiras; Ojakian, Kerry}
\itemti{Characterizing computable analysis with differential equations.}
\itemso{Electron. Notes Theor. Comput. Sci. 221, 23-35 (2008).}
\itemcc{}
\itemut{}
\itemli{doi:10.1016/j.entcs.2008.12.004}
\end