Alina Andreica Implementing Parameterized Type Algorithm Definitions in Mathematica. 35-40 2006 conf/synasc/2006 SYNASC http://doi.ieeecomputersociety.org/10.1109/SYNASC.2006.45 db/conf/synasc/synasc2006.html#Andreica06