From c2d79e1d06e2702cd30b90372f23a1f39334f768 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= <dhil@users.noreply.github.com>
Date: Thu, 18 Dec 2025 14:08:13 +0000
Subject: [PATCH] Fix bibliography: add missing year

---
 thesis.bib | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/thesis.bib b/thesis.bib
index 117c509..870ec72 100644
--- a/thesis.bib
+++ b/thesis.bib
@@ -2401,7 +2401,8 @@
   author    = {Nikolaos S. Papspyrou},
   title     = {A resumption monad transformer and its applications in the semantics of concurrency},
   booktitle = {Proceedings of the 3rd Panhellenic Logic Symposium},
-  address   = {Anogia, Greece}
+  address   = {Anogia, Greece},
+  year      = 2001,
 }
 
 @inproceedings{Harrison06,