You might also want to check out David Gries, the science of programming: https://www.springer.com/gp/book/9780387964805 https://www.springer.com/gp/book/9780

You might also want to check out David Gries, the science of programming: https://www.springer.com/gp/book/9780387964805 https://www.springer.com/gp/book/9780387964805