Norman Ramsey Kathleen Fisher Paul Govereau An expressive language of signatures. 27-40 2005 conf/icfp/2005 ICFP http://doi.acm.org/10.1145/1086365.1086371 db/conf/icfp/icfp2005.html#RamseyFG05