\vspace{12pt}
\noindent \textit{Progress of Concurrent Objects}\\
Hongjin Liang and Xinyu Feng\\
ISBN: 978-1-68083-672-1\\
\\
\noindent \textit{QED at Large: A Survey of Engineering of Formally Verified \\Software}\\
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric and \\Zachary Tatlock\\
ISBN: 978-1-68083-594-6\\
\\
\noindent \textit{Reconciling Abstraction with High Performance: A MetaOCaml \\approach}\\
Oleg Kiselyov\\
ISBN: 978-1-68083-436-9