"Foundations of Software Science and Computation Structures" - читать интересную книгу автора (Igor Walukiewicz)