@book{OPUS4-17336,
  title     = {Constructing programs from specifications: proceedings of the IFIP TC2/WG 2.1 Working Conference on Construction Programs from Specifications, Pacific Grove, CA, USA, 13 - 16 May 1991},
  editor    = {Bernhard M{\"o}ller},
  isbn      = {0-444-89184-6},
  year      = {1991},
}