Algoritmičeskije modeli v avtomatizacii issledovanij. - PONOMAREV, V.M (1980)