отбывание наказания

Здравствуйте. Мой знакомый просил уточнить следующую информацию. Он отбывал срок в колонии-поселении несколько лет и при этом работал там, получал зарплату за свой труд. Входит ли этот стаж работы в трудовой стаж? И как получить официальные документы о том, что он там работал? Выходит на пенсию...