Modeli i metody issledovanija vyčislitel'nych sistem - Pranevičius, Henrikas (Mokslas, 1982)