Hehner, E. C. R. A. (1984). The logic of programming.
Chicago-стиль цитированияHehner, Eric C R; Author. The Logic of Programming. New Delhi, Prentice-Hall of India, 1984.
MLA-цитированиеHehner, Eric C R; Author. The Logic of Programming. 1984.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.