Formal Methods in Standards | lit.salon