1. Algorithm 116: Complex division;Smith;ACM Transactions on Communications,1962
2. A note on complex division;Stewart;ACM Transactions on Mathematical Software,1985
3. SRT division architectures and implementations;Harris;in Proc. of IEEE Symosium. on Computer Arithmetic,1997
4. Verifying SRT algorithm using Theorem Proving Techniques;Clarke;Formal Methods in System Design Kluwer Academics Publishers,1999
5. “Complex division with prescaling of operands,” in Proc;Ercegovac;IEEE International Conference on Application-Specific Systems Architectures, and Processors,2003