"Verifying BDD Algorithms through Monadic Interpretation."

Sava Krstic, John Matthews (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics