fix bib.

publications.bib

@@ -524,7 +524,7 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
 
 @inproceedings{Raad2016DOM,
   Title     = {{DOM:} Specification and Client Reasoning},
-  Author    = {Azalea Raad and Jos{\'{e}} Fragoso Santos and Philippa Gardner},
+  Author    = {Azalea Raad and Jos{\'{e}} {Fragoso Santos} and Philippa Gardner},
   Booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS} 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
   Year      = {2016},
   Pages     = {401--422},
@@ -532,6 +532,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 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.}
+  Abstract  = {We present an axiomatic specification of a key fragment of DOM using structural separation logic. This specfication allows us to develop modular reasoning about client programs that call the DOM.}
 }