A free book about developing secure and robust systems software. - View it on GitHub