Jim McKim

• Design by contract, by example