diff --git a/README.md b/README.md
index cb8bb87..8e23e01 100755
--- a/README.md
+++ b/README.md
@@ -28,7 +28,6 @@ We're looking for pull requests related to papers we should add, better organiza
 * [Facebook](https://www.facebook.com/publications)
 * [Google Scholar](http://scholar.google.com/citations?view_op=top_venues&hl=en&vq=eng) (choose a subcategory)
 * [Microsoft](http://research.microsoft.com/apps/catalog/default.aspx?t=publications)
-* [Vijay D'Silva](http://www.eecs.berkeley.edu/~vijayd/#papers)
 * [Functional Programming Books Review](http://alexott.net/en/fp/books/)
 * [MIT's Artificial Intelligence Lab Publications](http://dspace.mit.edu/handle/1721.1/39813)
 * [MIT's Distributed System's Reading Group](http://pdos.csail.mit.edu/dsrg/)
@@ -38,6 +37,7 @@ We're looking for pull requests related to papers we should add, better organiza
 * [y-archive](http://yarchive.net/comp/index.html)
 * [Bell System Technical Journal](http://www3.alcatel-lucent.com/bstj/)
 * [netlib](http://www.netlib.org/)
+* [Services Engineering Reading List](https://github.com/mmcgrana/services-engineering)
 
 Please check out our [wiki-page](https://github.com/papers-we-love/papers-we-love/wiki/Other-Good-Sources-of-Reading-Material) for links to blogs, books, exchanges that are worth a good read.
 
diff --git a/plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf b/plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf
new file mode 100644
index 0000000..4d63bfc
Binary files /dev/null and b/plt/the-derivative-of-a-regular-type-one-hole-contexts.pdf differ