\input zb-basic
\input zb-ioport
\iteman{io-port 50299948}
\itemau{League, Christopher}
\itemti{Lambda calculi: A guide for computer scientists by chris hankin}
\itemso{SIGACT News 31, No. 1, 8-13 (2000).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/346048.568490}
\end