Software Security -- Theories and Systems by Benjamin Pierce & Mitsuhiro Okada