An axiomatic basis for computer programming — An axiomatic basis for computer programming — the latest coverage, the community and the facts.