Fioravanti, Fabio and Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio  Controlling Polyvariance for Specialization-based Verification.  Fundamenta Informaticae, 124 (4).  pp. 483-502.  ISSN 1875-8681      (2013)