1 - The Logical basis for computer programming. Vol. I : deductive reasoningManna, Zohar (1939-....) / Waldinger, RichardCote : [05 MAN 85]
