Infotehnoloogia. Sõnastik. Osa 2, Aritmeetika- ja loogikatehtedHanson, Vello; Agur, Ustus; Kalja, Ahto; Võhandu, Leo1999 https://www.ester.ee/record=b1210961*est

The journal of logic and algebraic programming2010 https://www.ester.ee/record=b1200932*est