http://www.cs.cornell.edu/Info/People/aswin/Fun/fun.html The FUN Transformation System

The FUN Transformation System

A demo

Papers and Publications