共 17 条
[2]
GANZINGER H, 1976, 1976 P ACM ANN C, P535
[3]
GIEGERICH R, 1977, INFORMATIK FACHBERIC, V10, P17
[4]
JAZAYERI M, 1975, 1975 P ACM ANN C, P230
[5]
JAZAYERI M, 1975, COMMUN ACM, V18, P679
[6]
KASTENS U, 1976, 10 U KARLSR INT BER
[7]
KASTENS U, 1979, 7 U KARLSR FAK INF I
[8]
KENNEDY K, 1976, 3RD C REC S PRINC PR, P32
[9]
Knuth D. E., 1968, Mathematical Systems Theory, V2, P127, DOI 10.1007/BF01692511
[10]
Knuth D.E., 1971, MATH SYST THEORY, V5, P95, DOI DOI 10.1007/BF01702865