Specification of parallel algorithms | lit.salon