"A Relational Theory of Computing" - читать интересную книгу автора (John G. Sanderson)