Abstract Algebra
Chapter 2
RSA and Public Key Cryptography Oct. 2002 Nathanael Paul.
what engineers don't know (but probably mathematicians do)
Elements of Programming - Stepanov-McJones.pdf
A Practical Theory of Programming
Hehner: A Practical Theory of Programming
A practical theory of programming