K. Janic, “A Case Study of the P Demotion Operation”, FCILL, no. 1, pp. 56–92, Nov. 2020.