共 28 条
[1]
Bergstra J. A., 1980, Automata, Languages and Programming, Seventh Colloquium, P76
[3]
BERGSTRA JA, 1979, IW115 MATH CTR DEP C
[4]
BERGSTRA JA, 1979, ACM SIGPLAN NOTICES, V14, P13
[5]
BERGSTRA JA, 1980, IW131 MATH CTR DEP C
[6]
BERGSTRA JA, 1980, IW128 MATH CTR DEP C
[7]
BERGSTRA JA, 1980, B EATCS, V11, P23
[8]
BROY M, 1979, AUTOMATA LANGUAGES P, P72
[9]
GIARRATANA V, 1976, LECTURE NOTES COMPUT, V45
[10]
Goguen J., 1978, CURRENT TRENDS PROGR, P80