Algoritmid ja diagonaalsed tõestusedBuldas, AhtoArvutustehnika ja Andmetöötlus1995 / 1, lk. 5-10