A language whose denoted programs form a dioid under program concatenation [BSD license]