Title: The design and implementation of a multiparadigm symbolic programming language