PyMC’s SMC algorithm is based on the papers listed in the docs, altought the exact algorithm is not described in any paper.
Algorithms are independent of examples/models, so there is no paper describing SMC for Lotka-Volterra example.
SMC-ABC is inplemented as an extension of SMC. The inference algorithm is the same the main difference is the use of a Simulator, a special Rv which represent an approximation to a likelihood. There is no single paper we follow
to implement the Simulator.