@inproceedings{LRSpepm09,
author = {F.J.~L\'{o}pez-Fraguas and J.~Rodr\'{\i}guez-Hortal\'{a} and J.~S\'{a}nchez-Hern\'{a}ndez},
title = {A flexible framework for programming with non-deterministic functions},
booktitle = {Proc. 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM 2009)},
pages = {91-100},
projects = {MERIT,PROMESAS,STAMP},
butype = {proceedings},
year = {2009}
}