书目详细信息 : Input language for automatic programming systems