My first contribution to the Guix blog just went on-line:
https://guix.gnu.org/blog/2020/reproducible-computations-with-guix/
It covers the theory and practice of reproducible computations using Guix as a tool for managing software but also as a tool for understanding dependencies.