Kulicki, P. On Minimal Models for Pure Calculi of Names. LLP 2013, 22, 429-443.