\input zb-basic \input zb-ioport \iteman{io-port 70114256} \itemau{Thiemann, Peter} \itemti{WASH/CGI: server-side web scripting with sessions and typed, compositional forms} \itemso{PADL, 192-208 (2002).} \itemcc{} \itemut{} \itemli{doi:10.1007/3-540-45587-6\_13} \end