You are about to access our book library "Zb 2005: Formal Specification and Development in Z and B full version" .