http://www.opengroup.org/standards/unix
For example, http://pubs.opengroup.org/onlinepubs/9699919799/
However, just like C, any certified implementation is free to add extra behaviors and there are certain parts that are actually implementation specific, like how signal handlers behave in certain situations.
BTW, Linux is UNIX too!
http://www.opengroup.org/openbrand/register/brand3596.htm https://en.wikipedia.org/wiki/Inspur_K-UX
Unfortunately some people will only sign big cheques if the given useless certificate is present