GRIF: An interactive environment for TEX. - Vincent Quint; Irène Vatton; Hassan Bedor (TEX for Scientific Documentation, 1986)