Let's make a contract: the art of designing a Java API by Mario Fusco