Чет не видать в свободном доступе стандарты( Есть драфт для С99: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf
И да, там было про то, что нужно хоть что-то, но указывать:
В Arduino IDE норм компилируется и без void в скобках, как я писал выше. Видимо, компилятор позволяет такие штуки.