added specification doc