@book(Abrial09,
 author       = "J-R. Abrial",
 year         = "2010",
 title        = "Modeling in Event-B: System and Software Engineering",
 publisher    = "Cambridge University Press",
)
@article(DBLP:journals/sttt/AbrialBHHMV10,
 author       = "J-R. Abrial and M. J. Butler and S. Hallerstede and T. S. Hoang and F. Mehta and L. Voisin",
 year         = "2010",
 title        = "Rodin: an open toolset for modelling and reasoning in {E}vent-{B}",
 journal      = "STTT",
 volume       = "12",
 number       = "6",
 pages        = "447--466",
 doi          = "10.1007/s10009-010-0145-y",
)
@inproceedings(AbrialBHV08,
 author       = "J-R. Abrial and M. J. Butler and S. Hallerstede and L. Voisin",
 year         = "2008",
 title        = "{A Roadmap for the Rodin Toolset}",
 editor       = "E. B{\"o}rger and M. J. Butler and J. P. Bowen and P. Boca",
 booktitle    = "ABZ",
 series       = "Lecture Notes in Computer Science",
 volume       = "5238",
 publisher    = "Springer",
 pages        = "347",
 doi          = "10.1007/978-3-540-87603-8",
)
@inproceedings(BoitenD09,
 author       = "E. A. Boiten and J. Derrick",
 year         = "2009",
 title        = "Modelling Divergence in Relational Concurrent Refinement",
 editor       = "Michael Leuschel and Heike Wehrheim",
 booktitle    = "IFM",
 series       = "Lecture Notes in Computer Science",
 volume       = "5423",
 publisher    = "Springer",
 pages        = "183--199",
 doi          = "10.1007/978-3-642-00255-7",
)
@inproceedings(BolDav02,
 author       = "C. Bolton and J. Davies",
 year         = "2002",
 title        = "Refinement in {Object-Z and CSP}",
 editor       = "M. Butler and L. Petre and K. Sere",
 booktitle    = "IFM 2002: Integrated Formal Methods",
 series       = "LNCS",
 volume       = "2335",
 pages        = "225--244",
)
@phdthesis(butlerphd,
 author       = "M. J. Butler",
 year         = "1992",
 title        = "A {CSP} approach to Action Systems",
 type         = "{DP}hil thesis",
 school       = "Oxford University",
)
@inproceedings(butler2000,
 author       = "M. J. Butler",
 year         = "2000",
 title        = "csp2{B}: A Practical Approach to Combining {CSP} and {B}",
 booktitle    = "FACS",
 pages        = "182--196",
)
@book(Derrick01a,
 author       = "J. Derrick and E. A. Boiten",
 year         = "2001",
 title        = "Refinement in Z and Object-Z",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-1-4471-0257-1",
)
@article(Derrick02c,
 author       = "J. Derrick and E.A. Boiten",
 year         = "2003",
 title        = "Relational Concurrent Refinement",
 journal      = "Formal Aspects of Computing",
 volume       = "15",
 number       = "2-3",
 pages        = "182--214",
 doi          = "10.1007/s00165-003-0007-4",
)
@unpublished(fdr,
 author       = "{Formal Systems (Europe) Ltd}.",
 title        = "The {FDR} Model Checker",
 note         = "{\tt http://www.fsel.com/} (accessed 8/3/11)",
)
@book(hoare85,
 author       = "C.A.R. Hoare",
 year         = "1985",
 title        = "Communicating Sequential Processes",
 publisher    = "Prentice-Hall",
)
@techreport(Iliasov09,
 author       = "A. Iliasov",
 year         = "2009",
 title        = "{On Event-B and Control Flow}",
 type         = "Technical Report",
 number       = "CS-TR-1159",
 institution  = "School of Computing Science, Newcastle University",
)
@misc(rodin:d7,
 author       = "C. M\'etayer and J.-R. Abrial and L. Voisin",
 year         = "2005",
 title        = "Event-{B} Language",
 note         = "{RODIN} Project Deliverable 3.2, {\tt http://rodin.cs.ncl.ac.uk/deliverables/D7.pdf}, accessed 25/5/10",
)
@inproceedings(Morgan90,
 author       = "C. Morgan",
 year         = "1990",
 title        = "{Of wp and CSP}",
 booktitle    = "Beauty is our business: a birthday salute to Edsger W. Dijkstra",
 publisher    = "Springer",
 pages        = "319--326",
)
@article(OlderogW05,
 author       = "E-R. Olderog and H. Wehrheim",
 year         = "2005",
 title        = "{Specification and (property) inheritance in CSP-OZ}",
 journal      = "Sci. Comput. Program.",
 volume       = "55",
 number       = "1-3",
 pages        = "227--257",
 doi          = "10.1016/j.scico.2004.05.017",
)
@book(roscoe:tpc,
 author       = "A.W. Roscoe",
 year         = "1998",
 title        = "Theory and Practice of Concurrency",
 publisher    = "Prentice-Hall",
)
@book(schneider99,
 author       = "S. Schneider",
 year         = "1999",
 title        = "{Concurrent and Real-time Systems: The CSP approach}",
 publisher    = "Wiley",
)
@article(SchneiderT05,
 author       = "S. Schneider and H. Treharne",
 year         = "2005",
 title        = "{CSP theorems for communicating B machines}",
 journal      = "Formal Asp. Comput.",
 volume       = "17",
 number       = "4",
 pages        = "390--422",
 doi          = "10.1007/s00165-005-0076-7",
)
@inproceedings(DBLP:conf/ifm/SchneiderTW10,
 author       = "S. Schneider and H. Treharne and H. Wehrheim",
 year         = "2010",
 title        = "A {CSP} Approach to Control in {E}vent-{B}",
 editor       = "Dominique M{\'e}ry and Stephan Merz",
 booktitle    = "IFM",
 series       = "Lecture Notes in Computer Science",
 volume       = "6396",
 publisher    = "Springer",
 pages        = "260--274",
 doi          = "10.1007/978-3-642-16265-7",
)
@techreport(CS1104BRP,
 author       = "S. Schneider and H. Treharne and H. Wehrheim",
 year         = "2011",
 title        = "Bounded Retransmission in {E}vent-{B}$\delimiter "026B30D ${CSP}: a Case Study",
 type         = "Technical Report",
 number       = "CS-11-04",
 institution  = "University of Surrey",
)
@techreport(stw11:techreport,
 author       = "S. Schneider and H. Treharne and H. Wehrheim",
 year         = "2011",
 title        = "Stepwise refinement in {E}vent-{B}$\delimiter "026B30D ${CSP}",
 type         = "Technical Report",
 number       = "CS-11-03",
 institution  = "University of Surrey",
)
@inproceedings(WoodcockC02,
 author       = "J. Woodcock and A. Cavalcanti",
 year         = "2002",
 title        = "{The Semantics of Circus}",
 editor       = "D. Bert and J. P. Bowen and M. C. Henson and K. Robinson",
 booktitle    = "ZB",
 series       = "Lecture Notes in Computer Science",
 volume       = "2272",
 publisher    = "Springer",
 pages        = "184--203",
 url          = "http://link.springer.de/link/service/series/0558/bibs/2272/22720184.htm",
)