Writing specification in Doxygen