"Kozen, Landau. Polynomial decomposition algorithm (JSC 1989).djvu" - читать интересную книгу автора