Поискать книги Лема.