\input zb-basic
\input zb-ioport
\iteman{io-port 70118489}
\itemau{Felty, Amy P.; Howe, Douglas J.; Roychoudhury, Abhik}
\itemti{Formal metatheory using implicit syntax, and an application to data abstraction for asynchronous systems}
\itemso{CADE, 237-251 (1999).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-48660-7\_21}
\end