diff --git a/publications.bib b/publications.bib
index 1199cb1581019fb59d096f767be283430960de47..11fccea23dd0a02a83cce9a098ccc2f5401d0b7b 100644
--- a/publications.bib
+++ b/publications.bib
@@ -541,6 +541,6 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
   doi       = {10.1007/978-3-319-47958-3_21},
   Project   = { concurrency },
   
-  Abstract  = {We present an axiomatic specication of a key fragment of DOM using structural separation logic. This specication allows us to develop modular reasoning about client programs that call the DOM.}
+  Abstract  = {We present an axiomatic specification of a key fragment of DOM using structural separation logic. This specication allows us to develop modular reasoning about client programs that call the DOM.}
 }