\input zb-basic
\input zb-ioport
\iteman{io-port 70328861}
\itemau{Manohar, Rajit; Lee, Tak-Kwan; Martin, Alain J.}
\itemti{Projection: A synthesis technique for concurrent systems}
\itemso{ASYNC, 125-134 (1999).}
\itemcc{}
\itemut{}
\itemli{http://doi.ieeecomputersociety.org/10.1109/ASYNC.1999.761528}
\end