Title: Constructive Methods in Computing Science