Berlioux, Pierre Bizard, Philipe
Algorithms the construction, proof, and analysis of programs - New York John Wiley and sons 1986
D6,8(B) M636
0471908444
681.3.06 BER
Algorithms the construction, proof, and analysis of programs - New York John Wiley and sons 1986
D6,8(B) M636
0471908444
681.3.06 BER