\input zb-basic \input zb-ioport \iteman{io-port 71019079} \itemau{Aagaard, Mark; Leeser, Miriam} \itemti{A framework for specifying and designing pipelines} \itemso{ICCD, 548-551 (1993).} \itemcc{} \itemut{} \itemli{} \end