Cristóbal Pareja Ricardo Pena Fernando Rubio Clara Segura Optimising Eden by transformation. 13-26 2000 conf/sfp/2000 Scottish Functional Programming Workshop db/conf/sfp/sfp2000.html#ParejaPRS00