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