This is the old Foundations of Software web page. The new one is at http://lamp.epfl.ch/page-83419.html