A layered software architecture for quantum computing design tools
probabilistic logics and the synthesis of reliable organisms from unreliable components .