\input zb-basic \input zb-ioport \iteman{io-port 70744428} \itemau{Hausler, Philip A.; Linger, Richard C.} \itemti{From software craft to software engineering: the cleanroom method} \itemso{SEKE, 172-179 (1994).} \itemcc{} \itemut{} \itemli{} \end