A. Kovalev and S. Nikitin, “Sets in the tool environment for developing program modules”, Num. Meth. Prog., vol. 1, no. 1, pp. 31–36, Sep. 2000.