Kybernetika 4 no. 2, 87-92, 1968

Some theorems on labelled bracketings used in transformational grammars