The state system of community and technical colleges shall include: Arapahoe community college, Colorado Northwestern community college, the community college of Aurora, the community college of Denver, Front Range community college, Lamar community college, Morgan community college, northeastern junior college, Otero junior college, Pikes Peak community college, Pueblo community college, Red Rocks community college, Trinidad state junior college, and Colorado community college and occupational education system college. The state system of community and technical colleges shall be governed by the state board for community colleges and occupational education.