Citation for a processor instruction set? I am writing a paper where I am talking about the SSE and AVX instruction sets.  For a hardware feature like an instruction set, I am wondering how to figure out what is an appropriate citation to use, or if it should be cited at all?
Cite their manual


The links to the manuals seem to appear at the reference sections of the respective Wikipedia pages.