\input zb-basic
\input zb-ioport
\iteman{io-port 70321567}
\itemau{Kobayashi, Naoki}
\itemti{Types and higher-order recursion schemes for verification of higher-order programs}
\itemso{POPL, 416-428 (2009).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1480881.1480933}
\end