Formal And Natural Computing by W. Brauer & J. Karhumak