APA
Hoare C. . S. J. e., . (1985). Mathematical logic and programming languages. Prentice-hall international, New Jersey: .
Chicago
Hoare C.A.R Shepherdson J.C ed, . 1985. Mathematical logic and programming languages. Prentice-hall international, New Jersey: .
Harvard
Hoare C. . S. J. e., . (1985). Mathematical logic and programming languages. Prentice-hall international, New Jersey: .
MLA
Hoare C.A.R Shepherdson J.C ed, . Mathematical logic and programming languages. Prentice-hall international, New Jersey: . 1985.