Title: Input language for automatic programming systems