A Formal Measure Of Machine Intelligence