https://www.cwblogs.com/posts/Introduction-to-Event-B/