added specification file