Media type: E-Article Title: ZB 2002:Formal Specification and Development in Z and B: Communicating B Machines Contributor: Schneider, Steve; Treharne, Helen imprint: Springer Berlin Heidelberg, 2002 Published in: ZB 2002:Formal Specification and Development in Z and B Language: Not determined DOI: 10.1007/3-540-45648-1_22 ISSN: 0302-9743 Origination: Footnote: