Zhou Enlai | Zhou Dynasty | Zhou | Zhou Fang | Zhou dynasty | Northern Zhou | King You of Zhou | King Ping of Zhou | Zhou Yongkang | King Wu of Zhou | King Wen of Zhou | Book of Zhou | Zhou Yu | Zhou Ying | Zhou Xun | Zhou Tiehai | Zhou Daguan | Rites of Zhou | Queen Zhou the Elder | Min Zhou | King Zhou of Shang | King Mu of Zhou | Zhou Yafu | Zhou (state) | Zhou Shengxian | Zhou Qiang | Zhou Lin | Zhou Lei | Zhou Jiawei | Zhou Ji |
It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ProCoS project on Provably Correct Systems.