I'm not familiar with Кoвaлeвcкий A, but a quick search brought up a Russian book on smart contracts. If anyone speaks Russian, a summary or translation would be greatly appreciated in this thread. Has anyone else come across this book and what are your thoughts?