Steve Linton Kevin Hammond Alexander Konovalov Abdallah Al Zain Philip W. Trinder Peter Horn Dan Roozemond Easy composition of symbolic computation software: a new lingua franca for symbolic computation. 339-346 2010 ISSAC http://doi.acm.org/10.1145/1837934.1837999 conf/issac/2010 db/conf/issac/issac2010.html#LintonHKZTHR10