\input zb-basic
\input zb-ioport
\iteman{io-port 70612284}
\itemau{Bowen, Jonathan P.; Reeves, Steve}
\itemti{From a community of practice to a body of knowledge: A case study of the formal methods community}
\itemso{FM, 308-322 (2011).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-642-21437-0\_24}
\end