N. Bird, “SEQ 2001, RPAG, PROP and other Alphabet Soup”, QRE, vol. 1, no. 1, pp. 79–83, Jun. 1994, doi: 10.1017/S1321816600000532.