Design and implementation of symbolic computation systems : сборник научных трудов / Ed. A. Miola, 1993. - XI,383 p. p. - Текст : непосредственный.
Design and implementation of symbolic computation system : Intern. symp., Capri, Apr.1990Proc. / DISCO'90, 1990. - 284 p. - Текст : непосредственный.