Elements of Programming
Alexander Stepanov and Paul McJones
(Addison-Wesley Professional, June 2009)
Decomposing programs into a system of algorithmic components
Last edited 6 October 2016