E. Bulygin, “Logique et Analyse: No. 33”, CRHF, vol. 1, no. 3, pp. 113–120, Sep. 1967.