Philosophy sources, eg the online Stanford Encyclopedia thereof or some work on Aristotle. But I don't recommend you bother. "Formal" means a logical implication. "Final" suggests a purpose, which makes sense in the context of decision theory.