LECTURE NOTES IN COMPUTER SCIENCE - GOOS,G AND HARTMANIS,J (SPRINGER VERLAGE, 1987)