Worterbuch Lichttechnik : engl.,dt.,fr.,rus.;mit etwa 11000 Wortstellen / R.Zimmermann,J.Lange,I.Preiss и др., 1990. - 426 S. - Текст : непосредственный.
Automated reasoning with analytic tableaux and related methods : 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.