\input zb-basic
\input zb-ioport
\iteman{io-port 06061715}
\itemau{Ferreira, Fernando (ed.); L\"owe, Benedikt (ed.); Mayordomo, Elvira (ed.)}
\itemti{Special issue: CiE: programs, proofs, processes. Selected papers based on the presentations at the 6th meeting CiE 2010, Ponta Delgada, Portugal, June 30 -- July 4, 2010.}
\itemso{Theory Comput. Syst. 51, No. 3, 267-400 (2012).}
\itemab
The articles of this volume will be reviewed individually. For the preceding conference see Zbl 1250.03003; Zbl 1192.68004.
\itemrv{~}
\itemcc{}
\itemut{}
\itemli{}
\end