C.R. Ramakrishnan

• Practical Aspects of Declarative Languages
• Tools and Algorithms for the Construction and Analysis of Systems