Correctional records information system of the District of Columbia Department of Corrections: terminal operator's handbook (National Technical Information Service, 1972)