Как работает синтаксис объявления аргументов массива Java «…»?

Я писал java некоторое время, и сегодня я столкнулся с следующее объявление:

public static void main(String... args) {

}

Обратите внимание на «точку точка точка» в объявлении массива, а не на обычную скобку []. Ясно, что это работает. Фактически я написал небольшой тест и убедился, что он работает. Итак, я вытащил грамматику java, чтобы увидеть, где находится этот синтаксис объявления аргумента, но ничего не нашел.

Итак, для экспертов, как это работает? Это часть грамматики? Кроме того, хотя я могу объявить такую ​​функцию, я не могу объявить массив в теле функции подобным образом.

В любом случае, знаете ли вы какое-либо место, где это задокументировано. Это любопытство, и, возможно, не стоит тратить на это время, но я был озадачен.