board-of-education-of-the-city-school-district-of-the-city-of-new-york-and ( 1980 )