commit bed16d795a8ed43f943205b1fd8aafd8535e418b
from: Sergey Bronnikov <sergeyb@bronevichok.ru>
date: Wed May 30 22:17:09 2018 UTC

add book about protocols verification

commit - 52b64a692184cf18398fb15ec830a95dd19f9f1c
commit + bed16d795a8ed43f943205b1fd8aafd8535e418b
blob - 2b572e6fc1b9560926bf874422270e5d7820eaa5
blob + dbf74cb759bf492cfd4a836dff938612eae2bb46
--- content/books/list-to-read.md
+++ content/books/list-to-read.md
@@ -58,6 +58,7 @@ showthedate = false
 
 ### 2018
 
+* **Design and validation of computer protocols - Gerard J. Holzmann**
 * Слепой часовщик - Ричард Докинз
 * **ML for the Working Programmer - L. C. Paulson**
 * **Практика программирования - Брайан Керниган, Роб Пайк**