Hoare, C. A. R. (1969). „An axiomatic basis for computer programming”. Communications of the ACM. 12 (10): 576—580. S2CID207726175. doi:10.1145/363235.363259.
semanticscholar.org
api.semanticscholar.org
Hoare, C. A. R. (1969). „An axiomatic basis for computer programming”. Communications of the ACM. 12 (10): 576—580. S2CID207726175. doi:10.1145/363235.363259.