Book

Tests and Proofs

by Yuri Gurevich, Bertrand Meyer