Foundations of software engineering
Massachusetts Institute of Technology