Implementation specific verification of divide and square root instructionsElena GuralnikAriel J. Birnbaumet al.2009ARITH 2009