Source code for all ZK books