https://123dok.net/document/yr36397j-proof-bismut-local-index-theorem-family-dirac-operators.html