\input zb-basic
\input zb-ioport
\iteman{io-port 70481997}
\itemau{Gambles, J. W.; Windley, Phillip J.}
\itemti{Reasoning about the VHDL standard logic package signal data type}
\itemso{CHDL, 123-130 (1993).}
\itemcc{}
\itemut{}
\itemli{}
\end