L. Foster, “Differential and Projectible Predicates”, CRHF, vol. 3, no. 7-8, pp. 101–111, Jun. 1969.