Concurrency, Specification and Programming | lit.salon