SMS: Новый вариант доказательства правильности способа деления без восстановления остатка; Известия Томского политехнического института [Известия ТПИ]; Т. 277 : Применение электронных вычислительных машин и прикладная математика