@InProceedings{islip1994_076,
   author      = {F. Esfandiari},
   title       = {{Isomorphisms between Two Groupoids: An Experiment in Program Synthesis and Transformation}},
   editor      = {Edward A. Ashcroft},
   booktitle   = {{Proceedings of the 7th International Symposium on Lucid and Intensional Programming}},
   year        = {1994},
   pages       = {76--83},
   publisher   = {SRI International},
   address     = {Menlo Park, California},
   doi         = {\url{http://plaice.web.cse.unsw.edu.au/archive/islip/1994/islip1994_076.pdf}},
   note        = {Held {26--27 September 1994}},
}