Goble T. Structured systems analysis through Prolog / T. Goble, 1989. - XV, 206 p. с. - Текст : непосредственный.