Why Do Computers Stop And What Can Be Done About It?
probabilistic logics and the synthesis of reliable organisms from unreliable components .