Added specification file