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