diff --git a/paper/paper.bib b/paper/paper.bib
index 07b856c79c..10bba6c7b7 100644
--- a/paper/paper.bib
+++ b/paper/paper.bib
@@ -143,6 +143,23 @@ @InProceedings{pizani2018pi
   annote =	{Keywords: dependently typed programming, Agda, EDSL, hardware description languages, functional programming}
 }
 
+@article{stucki2021theory,
+  author =       {Stucki, Sandro and Giarrusso, Paolo G.},
+  title =        {A Theory of Higher-Order Subtyping with Type Intervals},
+  journal =      {Proceedings of the ACM on Programming Languages},
+  volume =       {5},
+  number =       {{ICFP}},
+  pages =        {69:1--69:30},
+  month =        aug,
+  year =         {2021},
+  articleno =    {69},
+  numpages =     {30},
+  url =          {http://doi.acm.org/10.1145/3473574},
+  doi =          {10.1145/3473574},
+  publisher =    {ACM},
+  address =      {New York, NY, USA},
+}
+
 @article{daggitt2023routing,
   author={Daggitt, Matthew L. and Griffin, Timothy G.},
   journal={IEEE/ACM Transactions on Networking}, 
@@ -257,14 +274,7 @@ @misc{agda-stdlib-v2.0
   month = {December},
   url = {https://github.com/agda/agda-stdlib/tree/v2.0-release},
   howpublished = {HTML-indexed sources also at: \url{https://agda.github.io/agda-stdlib/v2.0/}},
-}
-
-@misc{agda-stdlib,
-  title = {{The Agda standard library}},
-  editor = {{The Agda community}},
-  year  = {2007--present},
-  url = {https://github.com/agda/agda-stdlib},
-  note = {A full list of the contributors can be seen under \url{LICENCE} at the above {URL}}
+  note = {A full list of the contributors can be seen under \url{LICENCE} at the above {URL}},
 }
 
 @inproceedings{cohen2020hierarchy,