1. Pattern matching in strings;Aho,1980
2. Compilers: Principles, Techniques, and Tools;Aho,1986
3. The Esterel synchronous programming language and its mathematical semantics;Berry,1985
4. Communication protocols and error recovery procedures;Bochmann;ACM Operating Systems Review,1975