Title of a 1970 paper by Hoare. I haven't seen the actual paper yet, but this title expresses perfectly a concern of some people, including myself and Stepanov. If someone has an access to the paper, please put it here. I'll try to enrich this page soon. --MariusAmadoAlves ---- CategoryPointer