Connectez-vous pour ajouter ce livre à votre bibliothèque.
Ralph-Johan Back, Joakim von Wright
Refinement calculus : a systematic introduction
Springer (New York) · 1998 · 9780387984179
