Using formal languages to analyse exponentiation algorithms

Luke O'Connor

created Fri Oct 2 21:21:44 PDT 1998