"Caviness. On canonical forms and simplification (JACM 1970)(12s).djvu" - читать интересную книгу автора