http://www.cs.utah.edu/plt/publications/gpce12-rf.pdf