Goodsteini teoreemistBuldas, AhtoArvutustehnika ja Andmetöötlus1995 / 4, lk. 2-6