Formal specification and software development | lit.salon