@article{DmitrievSaposhnikovSaposhnikovetal.1999,
  author    = {Alexej Dmitriev and V. V. Saposhnikov and Vl. V. Saposhnikov and Michael G{\"o}ssel},
  title     = {Self-dual sequential circuits for concurrent chechking},
  year      = {1999},
}