[ zurück ]      [ Stichworte ]      [ Literatur ]      [ Die Hyper-Bibliothek ]      [ Systemtheorie ]

C. A. R. Hoare: An axiomatic basis for computer programming (pdf). In: Communications of the ACM. 12(10): 576–585, Oktober 1969.

Volltext