Title: A language of specified programs