Theory Plug-in for Rodin 3.x. - Thai Son Hoang; Laurent Voisin; A. Salehi; Michael J. Butler; Toby Wilkinson; N. Beauger (CoRR, 2017)