"Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science)" - читать интересную книгу автора (Marcelo P. Fiore)