Practical aspects of declarative laguages : - Gupta, Gopal (Lecture notes in computer science, 1999)