Techniques for efficient formal verification using binary decision diagrams. - Alan John Hu (1995)