A criterion for HNN extensions of finite p-groups to be residually p - Matthias Aschenbrenner; Stefan Friedl (2009)