%0 Book
%A / S. Homer... [et al.] 
%T Logic and computer science
%U /book/98966427/Logic-and-computer-science/