ББ-065: Анатолий Рессин (Blockvis) о пути из академии в индустрию, Лэсли Лэмпорте и блокчейне в Прибалтике Blockvis .tax Blockchain Hackathon Civic Parsiq.io Linear logic: its syntax and semantics Линейная логика VII: Слово как действие What is TLA+? The Temporal Logic of Actions basicblockradio.com
