Value-Oriented Programming. - Teodorescu, Lucian Radu (Overload, 2023)