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.
Calculus | The Calculus Affair | Calculus (AB & BC) | calculus | Itō calculus | Calculus of variations | Regge calculus | Professor Calculus | Bond duration | vector calculus | Rod calculus | operational calculus | Multivariable Calculus | Multivariable calculus | Ito Calculus | Fundamental lemma of calculus of variations | duration (music) | duration | Copyright Duration Directive | copyright duration directive | calculus of variations | Calculus of communicating systems |