Ispolʹzovanie sredstv logicheskogo programmirovani︠i︡a v sistemakh postroeni︠i︡a kompil︠i︡atorov - Zevina, S. G. (Nauch. sovet po kompleksnoĭ probleme "Kibernetika" AN SSSR, 1991)