Public Employees Retirement Association; employer failure to record service corrected, payment of employee and employer contributions on omitted service required, and Rule of 90 eligibility for an eligible employee extended.