1. The Coq proof assistant. https://coq.inria.fr/
2. Michelson - the language of Tezos. https://www.michelson.org/
3. The move language. https://developers.libra-china.org/docs/crates/move-language/index.html
4. A sequential imperative programming language - syntax, semantics, Hoare logics and verification environment. https://www.isa-afp.org/entries/Simpl.html
5. Solidity. https://docs.soliditylang.org/en/v0.8.0/