Formal methods in standards | lit.salon