Anders Fogh Rasmussen | Thomas Anders | Anders Jormin | Günther Anders | Anders Fager | Anders Behring Breivik | Anders Aukland | Władysław Anders | Anders Celsius | Anders Zorn | Anders Thomas Jensen | Anders Morgenthaler | Anders Björner | Anders Bagge | William Anders | Anders Sandberg | Anders Jahan Retzius | Anders Hansson | Anders Dahlvig | Anders Arborelius | Lars Anders Tomter | Knut Anders Fostervold | Anders Winroth | Anders Sandøe Ørsted | Anders Remmer | Anders Olsson | Anders Møller | Anders Linderoth | Anders Linder | Anders Koppel |
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.