João, servidor público federal, estável, regido pelo regime jurídico da Lei 8.112/90, foi demitido após processo administrativo. Por meio de ação judicial requereu a anulação da decisão administrativa, na qual obteve decisão transitada em julgado favorável a seu pedido. De acordo, com a Lei 8.112/90, João retornará a seu cargo de origem, ainda existente, por meio de: