"Orders: Description and roles. Proceedings of the conference on ordered sets, 1982" - читать интересную книгу автора (M. Pouzet, D. Richard)