A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program.

Jinyun Xue Ruth Davis A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. 149-156 1997 18 Software - Concepts and Tools 4 db/journals/stp/stp18.html#XueD97