\input zb-basic
\input zb-ioport
\iteman{io-port 70933469}
\itemau{Batory, Don S.}
\itemti{Thoughts on automated software design and synthesis}
\itemso{FoSER, 29-32 (2010).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/1882362.1882369}
\end