Beate Bollig, Niko Range, Ingo Wegener: Exact OBDD Bounds for Some Fundamental Functions. SOFSEM 2008: 174-185