link to Chlipala paper
link to Soichiro Hidaka, et al. paper
link to Hai Liu, et al. paper
Merge pull request #18 from ggreif/patch-2

link to Chlipala paper