F.L et al (edited By G. Goos and J. Hartmanis) Bauer