共 50 条
- [31] ON THE ALGEBRAIC DEFINITION OF PROGRAMMING-LANGUAGES ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1987, 9 (01): : 54 - 99
- [35] ON A METHOD OF THE DESCRIPTION OF PROGRAMMING-LANGUAGES DOKLADY AKADEMII NAUK SSSR, 1980, 250 (03): : 581 - 584