https://en.wikipedia.org/wiki/Hoare_logic
https://ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_%D0%A5%D0%BE%D0%B0%D1%80%D0%B0

2015
https://habr.com/ru/post/268013/