@misc {IOPORT.70612284,
    author       = {Bowen, Jonathan P. and Reeves, Steve},
    title        = {From a community of practice to a body of knowledge: A case study of the formal methods community},
    howpublished = {FM, 308-322 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-21437-0_24},
    identifier   = {70612284},
}