%0 Book
%A Manna, Zohar
%T The logical basis for computer programming
%U /book/77758711/The-logical-basis-for-computer-programming/