Binary Decision Diagrams: From abstract representations to physical implementations. - Jose S. Metos; John V. Oldfield (DAC, 1983)