A Complete Axiom System of Super-Regular Expressions

Takayasu Ito, Shigeru Ando. A Complete Axiom System of Super-Regular Expressions. In IFIP Congress. pages 661-665, 1974.

Bibliographies