https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.7914&rep=rep1&type=pdf
http://rsim.cs.uiuc.edu/Pubs/popl05.pdf
https://drum.lib.umd.edu/bitstream/handle/1903/1949/umi-umd-1898.pdf
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.7914&rep=rep1&type=pdf
http://rsim.cs.uiuc.edu/Pubs/popl05.pdf
https://drum.lib.umd.edu/bitstream/handle/1903/1949/umi-umd-1898.pdf