Add link to "Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant"