Subʺektno-predikatnye modeli obosnovaniĭ tezisov - Efimov, E. I. (Evgeniĭ Ivanovich) (Soobshcheni︠i︡a po programmnomu obespecheni︠i︡u / Rossiĭska︠i︡a akademi︠i︡a nauk, Vychislitelʹnyĭ ︠t︡sentr., 1991)