Vyčisliteľnyje seti i setevyje protokoly. - DAVIES, D.W (1982)