Apakah penghitungan kompleksitas pertama kali diperkenalkan oleh Valiant pada 1979?

Apakah #P pertama kali diperkenalkan di [1] ?

[1] Valiant, Leslie G. "Kompleksitas komputasi yang permanen." Ilmu komputer teoretis 8.2 (1979): 189-201.

$\mathsf{\#P}$

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