\input zb-basic
\input zb-ioport
\iteman{io-port 70993300}
\itemau{Mcginnis, Jarred; Robertson, David; Walton, Christopher}
\itemti{Protocol synthesis with dialogue structure theory}
\itemso{EUMAS, 179-189 (2005).}
\itemcc{}
\itemut{}
\itemli{}
\end