1. S. S. Goncharov and D. I. Sviridenko, “Ω-programming,” in: Computer Systems: Mathematical-Logical Foundations [in Russian], No. 105, 3–29 (1985).
2. A. A. Letichevskii, “Algebras with approximation and recursive data structures,” Kibernetika, No. 5, 32–37 (1987).
3. V. N. Red'ko and N. S. Nikitchenko, “Composition aspects of programmology, part 2,” Kibernetika, No. 5, 49–56 (1987).
4. V. N. Red'ko and N. S. Nikitchenko, “Composition aspects of programmology,” Kibernetika, No. 1, 28–34 (1988).
5. J. A. Goguen and J. Meseguer, “Models and equality for logical programming,” Lect. Notes Comput. Sci., vol. 250, 1–22 (1987).