共 35 条
[31]
PETROV SV, 1978, AUTOMAT REM CONTR+, V39, P1034
[33]
Rosen B. K., 1975, Acta Informatica, V4, P337, DOI 10.1007/BF00289616
[35]
[No title captured]