Linear syntax for communicating elementary mathematics. - Christopher J. Sangwin; Philip Ramsden (J. Symb. Comput., 2007)