-B. Möller/J.V. Tucker (Eds.): Prosprects for Hardware Foundations - Survey Chapters. Springer-Verlag 1998