• ПП-BESM – a Soviet language (1955) http://xav.io/posts/besm/ 28 comments 21/5/2023

• Visions of the future: formal verification in Rust https://xav.io/blog/rust-formal-verification/ 5 comments 22/5/2024 plt , rust
• ПП-BESM - a Soviet PL http://xav.io/posts/besm/ 5 comments 21/5/2023 historical , plt