formal speciication

Hi!
Do somebody know anything about formal specification of the processors instructions, or of the PC architecture? Can I find something like that somewhere? Do these things exist?

Thanx:
Cye