added SPECIFICATION file