diff --git a/languages/README.md b/languages/README.md
index dfba6ed..ec21705 100644
--- a/languages/README.md
+++ b/languages/README.md
@@ -4,7 +4,7 @@ Programming language theory (PLT) is a branch of computer science that deals wit
 
 ## Included Papers
 
-* [On the Expressive Power of Programming Languages](https://www.sciencedirect.com/science/article/pii/016764239190036W) (Matthias Felleisen): "The literature on programming languages contains an abundance of informal
+* :scroll: [On the Expressive Power of Programming Languages](scp91-felleisen.ps.gz) [sciencedirect](https://www.sciencedirect.com/science/article/pii/016764239190036W)(Matthias Felleisen): "The literature on programming languages contains an abundance of informal
 claims on the relative expressive power of programming languages, but there
 is no framework for formalizing such statements nor for deriving interesting
 consequences. As a first step in this direction, we develop a formal notion
diff --git a/languages/scp91-felleisen.ps.gz b/languages/scp91-felleisen.ps.gz
new file mode 100644
index 0000000..17b7d68
Binary files /dev/null and b/languages/scp91-felleisen.ps.gz differ