%0 Book
%A  Edsger W. Dijkstra
%T A discipline of programming /
%U /book/89993932/A-discipline-of-programming/