\input zb-basic
\input zb-ioport
\iteman{io-port 70803219}
\itemau{Hunter, Aaron}
\itemti{Spectrum hierarchies and subdiagonal functions}
\itemso{LICS, 281-290 (2003).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/LICS.2003.1210068}
\end