Los dibujos y diagramas originales se han rehecho en formato .svg usando la herramienta inkscape[6]. A partir del fichero fuente .svg se generan versiones en formato .png para la versión HTML y .pdf para la versión PDF.
.svg
.png
.pdf
[6] http://inkscape.org/