@book(Abrial-10,
 author       = "J.~R. Abrial",
 year         = "2010",
 title        = "Modeling in {Event B}: System and Software Engineering",
 publisher    = "Cambridge University Press",
)
@article(Abrial-Hallerstede-07,
 author       = "J.-R. Abrial and S.~Hallerstede",
 year         = "2007",
 title        = "Refinement, Decomposition, and Instantiation of Discrete Models: Application to {Event-B}",
 journal      = "Fundamenta Informaticae",
 volume       = "77",
 number       = "1-2",
 pages        = "1--28",
)
@inproceedings(BaKu83,
 author       = "R.-J.~R. Back and R.~Kurki-Suonio",
 year         = "1983",
 title        = "Decentralization of Process Nets with Centralized Control",
 booktitle    = "Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium of Principles of Distributed Computing",
 pages        = "131--142",
 doi          = "10.1145/800221.806716",
)
@article(BaSe91,
 author       = "R.-J.~R. Back and K.~Sere",
 year         = "1991",
 title        = "Stepwise Refinement of Action Systems",
 journal      = "Structured Programming",
 volume       = "12",
 pages        = "17--30",
)
@book(Back-vonWright98,
 author       = "R.-J.~R. Back and J.~{von Wright}",
 year         = "1998",
 title        = "Refinement Calculus: {A} Systematic Introduction",
 series       = "Graduate Texts in Computer Science",
 publisher    = "Springer-Verlag",
)
@article(Back-vonWright-99,
 author       = "R.-J.~R. Back and J.~{von Wright}",
 year         = "1999",
 title        = "Reasoning algebraically about loops",
 journal      = "Acta Informatica",
 volume       = "36",
 pages        = "295--334",
 doi          = "10.1007/s002360050163",
)
@article(BaWr03,
 author       = "R.-J.~R. Back and J.~{von Wright}",
 year         = "2003",
 title        = "Compositional Action System Refinement",
 journal      = "Formal Aspects of Computing",
 volume       = "15",
 pages        = "103--117",
 doi          = "10.1007/s00165-003-0005-6",
)
@inproceedings(Bostrom-10,
 author       = "P.~Bostr\"om",
 year         = "2010",
 title        = "Creating sequential programs from {Event-B} models",
 booktitle    = "IFM'10 Proceedings of the 8th international conference on Integrated formal methods",
 series       = "LNCS",
 volume       = "6396",
 publisher    = "Springer-Verlag",
 pages        = "74--88",
 doi          = "10.1007/978-3-642-16265-7\_7",
)
@article(Butler-00,
 author       = "M.~Butler",
 year         = "2000",
 title        = "csp2B: A Practical Approach to Combining {CSP} and {B}",
 journal      = "Formal Aspects of Computing",
 volume       = "12",
 number       = "3",
 pages        = "182--198",
 doi          = "10.1007/PL00003930",
)
@inproceedings(Hallerstede-08,
 author       = "S.~Hallerstede",
 year         = "2008",
 title        = "On the purpose of {Event-B} proof obligations",
 booktitle    = "Abstract State Machines, B and Z",
 series       = "LNCS",
 volume       = "5238",
 publisher    = "Springer-Verlag",
 pages        = "125--138",
 doi          = "10.1007/978-3-540-87603-8\_11",
)
@inproceedings(Hallerstede-10,
 author       = "S.~Hallerstede",
 year         = "2010",
 title        = "Structured {Event-B} models and proofs",
 booktitle    = "Abstract State Machines, B and Z",
 series       = "LNCS",
 volume       = "5977",
 publisher    = "Springer-Verlag",
 pages        = "273--286",
 doi          = "10.1007/978-3-642-11811-1\_21",
)
@inproceedings(Hoang-Abrial-10,
 author       = "T.~S. Hoang and J-.R. Abrial",
 year         = "2010",
 title        = "{Event-B} decomposition for parallel programs",
 booktitle    = "ABZ2010",
 series       = "LNCS",
 volume       = "5977",
 publisher    = "Springer-Verlag",
 pages        = "319--333",
 doi          = "10.1007/978-3-642-11811-1\_24",
)
@book(Hoare-85,
 author       = "C.A.R. Hoare",
 year         = "1985",
 title        = "Communicating Sequential Processes",
 publisher    = "Prentice Hall",
)
@techreport(Ilisov-09,
 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",
)
@article(Jones-83,
 author       = "C.~B. Jones",
 year         = "1983",
 title        = "Tentative steps toward a development method for interfering programs",
 journal      = "Transactions on Programming languages and systems",
 volume       = "5",
 number       = "4",
 pages        = "596--619",
 doi          = "10.1145/69575.69577",
)
@article(Owicki-Gries-76,
 author       = "S.~S. Owicki and D.~Gries",
 year         = "1976",
 title        = "An axiomatic proof technique for parallel programs {I}",
 journal      = "Acta Informatica",
 volume       = "6",
 pages        = "319--340",
 doi          = "10.1007/BF00268134",
)
@article(Plosila-Sere-Walden-05,
 author       = "J.~Plosila and K.~Sere and M.~Wald\'en",
 year         = "2005",
 title        = "Asynchronous system synthesis",
 journal      = "Science of Computer Programming",
 volume       = "55",
 pages        = "259--288",
 doi          = "10.1016/j.scico.2004.05.018",
)
@misc(rodin,
 year         = "2010",
 title        = "Rodin Platform",
 howpublished = "\url { http://www.event-b.org}",
)
@book(deRoever-01,
 author       = "W.~P. de~Roever and et. al.",
 year         = "2001",
 title        = "Concurrency Verification: Introduction to compositional and noncompositional methods",
 publisher    = "Cambridge University Press",
)
@inproceedings(Schneider-Treharne-Wehrheim-10,
 author       = "S.~Schneider and H.~Treharne and H.~Wehrheim",
 year         = "2010",
 title        = "A {CSP} Approach to Control in {Event-B}",
 booktitle    = "Integrated Formal Methods 2010",
 series       = "LNCS",
 volume       = "6396",
 publisher    = "Springer-Verlag",
 pages        = "260--274",
 doi          = "10.1007/978-3-642-16265-7\_19",
)