Assertion-Based Design by Harry D. Foster | Menrva Books