McCuloch & Pitts paper
On the computational power of the Analytical Engine
Computational linguistics of nucleic acids
Definition of intelligence
PP closed under intersection