diff --git a/publications.bib b/publications.bib
index 085477565279024b13878caeb63daafdd05f7ce8..dcc0c69e62a0ed51d1081e5a2af5ec78dd46e2e3 100644
--- a/publications.bib
+++ b/publications.bib
@@ -1860,8 +1860,14 @@ author    = {Emanuele D'Osualdo and
             Julian Sutherland},
 title     = {TaDA Live: Compositional Reasoning for Termination of Fine-grained
             Concurrent Programs},
-journal = {ACM Transactions on Programming Languages and Systems (TOPLAS), submitted Jan 2020; accepted 2021.},
+journal   = {ACM Transactions on Programming Languages and Systems (TOPLAS), submitted Jan 2020; accepted 2021.},
 year      = {2021},
+publisher = {Association for Computing Machinery}, 
+volume    = {43}, 
+number    = {4}, 
+issn      = {0164-0925}, 
+url       = {https://doi.org/10.1145/3477082}, 
+doi       = {10.1145/3477082}, 
 abstract  = {We present TaDA Live, a concurrent separation logic for reasoning compositionally about the termination of
 blocking fine-grained concurrent programs. The crucial challenge is how to deal with abstract atomic blocking:
 that is, abstract atomic operations that have blocking behaviour arising from busy-waiting patterns as found in,