Fun with BDDs by Donald Knuth - http://stanford-online.stanford.edu/seminar...
Good lecture on binary decision diagrams - JoeCamel