Added specification document.