Thomas, Stephen N.: The formal mechanics of mind. Ithaca, NY : Cornell Univ. Pr., 1978