\input zb-basic
\input zb-ioport
\iteman{io-port 05407725}
\itemau{Baudru, Nicolas; Morin, R\'emi}
\itemti{Polynomial synthesis of asynchronous automata.}
\itemso{Comput. Res. Repos. 2005, Article No. 0506096 (2005).}
\itemcc{}
\itemut{}
\itemli{arXiv:cs/0506096}
\end