From 5580f90e8dfdc0584024343f92dfd5ae7345a44a Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Thu, 25 May 2023 18:46:53 +0200 Subject: [PATCH] add egtbs to bib --- quox.bib | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/quox.bib b/quox.bib index 6951370..2687e15 100644 --- a/quox.bib +++ b/quox.bib @@ -366,3 +366,16 @@ url = {https://www.cs.bham.ac.uk/~pbl/papers/hosc05.pdf}, doi = {10.1007/s10990-006-0480-6}, } + +@article{egtbs, + doi = {10.4204/eptcs.275.6}, + url = {https://doi.org/10.4204%2Feptcs.275.6}, + year = 2018, + month = {jul}, + publisher = {Open Publishing Association}, + volume = {275}, + pages = {53--69}, + author = {Conor McBride}, + title = {Everybody's Got To Be Somewhere}, + journal = {Electronic Proceedings in Theoretical Computer Science} +}