Formal and Natural Computing