"Rydeheard D.E., Burstall R.M. Computational category theory (c. 1990)(263s).pdf" - читать интересную книгу автора