共 9 条
[1]
BATE G, 1986, SOFTWARE ENG J, V1, P95, DOI 10.1049/sej.1986.0017
[2]
CARDELLI L, 1989, DEC SRC52 REP
[3]
GEHANI N, 1984, REFERENCE MANUAL ADA
[4]
Liskov B, 1986, ABSTRACTION SPECIFIC
[5]
MEYER B, 1989, STRUCT PROGRAM, V1, P19
[6]
ROVNER P, 1985, DEC SRC3 REP
[7]
Wirth N., 1989, PROGRAMMING MODULA 2
[8]
Young SJ, 1982, REAL TIME LANGUAGES
[9]
[No title captured]