\input zb-basic
\input zb-ioport
\iteman{io-port 70801366}
\itemau{M\"oller, Bernhard; Tarlecki, Andrzej; Wirsing, Martin}
\itemti{Algebraic specifications of reachable higher-order algebras}
\itemso{ADT, 154-169 (1987).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/3-540-50325-0\_8}
\end