[Locke1689]

http://www.cis.upenn.edu/~bcpierce/tapl/index.html

http://www.cis.upenn.edu/~bcpierce/attapl/index.html