\input zb-basic
\input zb-ioport
\iteman{io-port 70904869}
\itemau{Hunter, Aaron}
\itemti{Adding modal operators to the action language A}
\itemso{NMR, 219-226 (2004).}
\itemcc{}
\itemut{}
\itemli{http://www.pims.math.ca/science/2004/NMR/papers/paper29.pdf}
\end