Book

Tests and Proofs

by Catherine Dubois, Burkhart Wolff