A complexidade da contagem foi introduzida pela primeira vez por Valiant em 1979?

O #P foi introduzido pela primeira vez em [1] ?

[1] Valiant, Leslie G. "A complexidade de computar o permanente". Teoria da computação 8.2 (1979): 189-201.

$\mathsf{\#P}$

$\mathsf{PP}$$\mathsf{\#P}$$\mathsf{PP}$