Event-B Modelling Language
From Event-B
This page gives a brief summary of documents describing Event-B's modeling notation.
Rodin Handbook
Rodin Handbook (Modeling Notation)
The original and now outdated version is available in PDF format here.