Abstract Software Specifications | lit.salon