共 14 条
[1]
AISO H, 1981, OCT P INT 5TH GEN CO
[2]
BATTANI G, 1973, INTERPRETEUR LANGUAG
[3]
FRANTA WR, 1981, USE FORMAL SPECIFICA
[4]
FURUKAWA K, 1981, OCT P INT 5TH GEN CO
[5]
GILOI W, 1981, RECHNERARCHITEKTUR
[6]
GILOI WK, P IFIP WG 10 1 WORKS
[7]
GILOI WK, 1982, PRINZIP DATENSTRUKTU
[8]
GILOI WK, 1981, P IFIP WG 10 1 WORKS
[9]
LEVITT KN, 1981, USE FORMAL SPECIFICA
[10]
MOTOOKA T, 1981, OCT P INT C 5TH GEN