Formal methods in computing | lit.salon