Unsafe Impedance: Safe Languages and Safe by Design Software. - Lee Barney; Adolfo Neto (Erlang, 2024)