His notation was similar to modern mathematical notation, and used metarules, transformations, and recursion.
A súa notation era similar á moderna notación matemática, e emprega metarregras, transformacións e recursividade.