\input zb-basic \input zb-ioport \iteman{io-port 70801469} \itemau{Beierle, Christoph; Vo{\ss}, Angi} \itemti{Implementation specifications} \itemso{ADT, 39-53 (1984).} \itemcc{} \itemut{} \itemli{} \end