Programming languages:principles and paradigms - Tucker, Allen B