共 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