\input zb-basic
\input zb-ioport
\iteman{io-port 70594693}
\itemau{Wang, Edward; Hilfinger, Paul N.}
\itemti{Analysis of recursive types in lisp-like languages}
\itemso{LISP and Functional Programming, 216-225 (1992).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/141471.141544}
\end