Views of formal program development by Boiten