F. Paoli, “Logic and groups”, LLP, vol. 9, no. 9, pp. 109–128, Jan. 2004.