Reading list: Bdd