请问，我爷爷有一套房，房产证是他的名字，配偶健在，有三个子女，现在想出售，要怎样手续。