\input zb-basic
\input zb-ioport
\iteman{io-port 03441602}
\itemau{Lamport, Leslie}
\itemti{A new solution of Dijkstra's concurrent programming problem.}
\itemso{Commun. ACM 17, 453-455 (1974).}
\itemcc{}
\itemut{}
\itemli{doi:10.1145/361082.361093}
\end