Foundation of object oriented language types and semanties - Bruce (Kim .B) (New Delhi PHI)