\input zb-basic
\input zb-ioport
\iteman{io-port 70979059}
\itemau{Chitil, Olaf; Huch, Frank}
\itemti{A pattern logic for prompt lazy assertions in haskell}
\itemso{IFL, 126-144 (2006).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-74130-5\_8}
\end