added specification document