This (along with the subsequent Turing paper) is an excellent resource!
Regarding reverse-engineering of SASS, a (possibly?) complete instruction "reference" (from Pascal to Hopper) can be found using methods here. Using quotes here because there is enough info to disassemble/assemble the code section in cubin binaries - since we have a detailed desc of inst encoding, operand types, modifiers etc.. However, instruction behavior, misc requirements, side-effects, etc.. are not documented.