Teachers and state employees retirement system.
Optional retirement program for state institutions of higher education, §135-5.1. Purchase of service credit, §135-5.1(ppp).