Verification Engineering: A Future Profession by Amir Pnueli (A. M. Turing award lecture)
Fault Tolerant Multi Party Computations: Past and Present by Shafi Goldwasser
Internet Support for Wireless and Mobile Networking by David B. Johnson
Principles and Patterns of High-performance and Real-time Distributed Object Computing by Douglas C. Schmidt