%0 Book
%A  Nikouei, Mohammad
%T A Logical Analysis of Relational Program Correctness
%U /book/90464758/A-Logical-Analysis-of-Relational-Program-Correctne/