@book{RW1989,
      author = {R. Camposano, W. Rosenstiel},
      title = {Synthesizing Circuits from Behavioural Level Specifications},
      publisher = {IEEE Transactions on Computer-Aided Design},
      year = {1989},
      volume = {8},
      number = {2},
      pages = {171-180},
}