J. K. Millen and G. Denker, “CAPSL and MuCAPSL”, JTIT, vol. 10, no. 4, pp. 16–27, Dec. 2002, doi: 10.26636/jtit.2002.4.148.