Permanence and Exponential Stability of a Predator-prey Model with HV-Holling Functional Response - Kai Wang (2011)