Support theory to Nengo

Getting Started
1

I find NengoDL quite interesting for postgraduate in Neuroengineering, however, it lacks from supporting theory on SNNs and DL.

Is there any reference(s) available to complement?

Thanks.