Algoritmid ja diagonaalsed tõestused
Buldas, Ahto
Arvutustehnika ja Andmetöötlus
1995
/
1, lk. 5-10