Tools and Notions for Program Construction: An Advanced Course