Formal systems specification | lit.salon