diff --git a/_includes/nav.html b/_includes/nav.html
index 2282ceb..ee8a11b 100644
--- a/_includes/nav.html
+++ b/_includes/nav.html
@@ -37,6 +37,7 @@
                    <li><a href="https://github.com/haskell-distributed">Github Repositories</a></li>
                    <li><a href="https://cloud-haskell.atlassian.net/secure/BrowseProjects.jspa#all">Issue Tracker</a></li>
                    <li><a href="/static/semantics.pdf">Formal Semantics</a></li>
+		   <li><a href="http://dl.acm.org/citation.cfm?id=1863509.1863514&coll=DL&dl=GUIDE&CFID=462193996&CFTOKEN=19836659">Unified semantics for Future Erlang</a></li>
                    <li><a href="http://www.well-typed.com/blog/">Well-Typed Blog</a></li>
                 </ul>
               </li>