Software Foundations series for reliable software

by Benjamin C. Pierce, Andrew W. Appel, Leonidas Lampropoulos