@book{OPUS4-26229,
  title     = {Prospects for Hardware Foundations: ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters},
  editor    = {Bernhard M{\"o}ller and John V. Tucker},
  isbn      = {978-3-540-65461-2},
  doi       = {10.1007/3-540-49254-2},
  year      = {1998},
}