Verifying the SRT division algorithm using theorem proving techniquesEdmund M. ClarkeSteven M. Germanet al.1999Formal Methods in System Design