An axiomatic basis for computer programming — latest news, discussion & facts — IJR