Finite Mathematical Systems Theory