Design For Trustworthy Software door Peter C. Patton, Bijay Jayaswal & Bijay K. Jayaswal