Added specification document