Applying “Design by Contract” (1992) [pdf] | Heykuki News