See www.jfp.co.jp/slp/eventb_jp.html.