====== Textbook ======

There is no required text. The Event-B site (see below) has slides and aditional material for this course. Also, consult the SVN. 

  * The following recommended text is on reserve in Steacie[[http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521895569|Modeling in Event-B]].
  * [[http://www.event-b.org/abook.html|First two chapters]] of the text 
  * The slides for this course and other resources may be found at [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B documentation]].
  * Event-B [[http://www.cse.unsw.edu.au/~cs2111/COMP2111/|course]] at UNSW. Event-B is also taught at ETH in Zurich.