Infotehnoloogia. Sõnastik. Osa 2, Aritmeetika- ja loogikatehted
Hanson, Vello
;
Agur, Ustus
;
Kalja, Ahto
;
Võhandu, Leo
1999
https://www.ester.ee/record=b1210961*est
The journal of logic and algebraic programming
2010
https://www.ester.ee/record=b1200932*est