Modeli i metody issledovanija vyčislitel'nyh sistem - Pranevičius, H. (Mokslas, 1982)