When was "efficient" distinguished from "finite" in ToC?
In the late 1960s by Cobham, Edmonds, and Rabin