Specification, Algebra, and Software | lit.salon