P. Kulicki, “On minimal models for pure calculi of names”, LLP, vol. 22, no. 4, pp. 429–443, Aug. 2013.