共 50 条
- [1] ON THE ALGEBRAIC DEFINITION OF PROGRAMMING-LANGUAGES [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1987, 9 (01): : 54 - 99
- [2] SUPPORTING CONTROL DEFINITION IN PROGRAMMING-LANGUAGES [J]. COMPUTER LANGUAGES, 1984, 9 (01): : 1 - 23