No ano de 1985 como era chamado o que é hoje PPP? e coo consigo esse documento?

Boa tarde, um funcionario procurou a empresa, disse  que em 1985  trabalhou na empresa no periodo de 11-09-1985  a 11-11-1986 e hoje o papel que ele deu de exemplo foi o PPP, só que em 1986 nao se chamava assim, gostaria de saber como chamava e como conseguir esse papel, uma vez que ja foi trocado de contador por duas vezes, entao esta bem complicado achar esse papel? Ele vai se aposentar.

Tania

o PPP foi criado para substituir os antigos formulários denominados SB 40, DISES BE 5235, DSS 8030 e DIRBEN 8030.
Segue o link para maiores esclarecimentos:
https://www.inss.gov.br/servicos-do-inss/atualizacao-de-tempo-de-contribuicao/documentos-para-comprovacao-de-tempo-de-contribuicao/documentos-tempo-especial/

Se caso o documento nao ser achado, por algum motivo, como proceder para tirar esse SB40?
Grata