international algebraic language (IAL)