Mueller R. Symbolic computing with Lisp and Prolog / R.Mueller,R.L.Page, 1988. - 10,469 p. p. - Текст : непосредственный.