Added specification file.