Osnovy teorii vyčisliteľnych sistem - Salyga, Vadim Ivanovič (Višča škola, 1984)