Added literature; Playing with bdd's.