The specification of computer programs | lit.salon