Graph congruences and pair testing J. A. Brzozowski; Robert Knast — 1986 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Generalized ternary simulation of sequential circuits C.-J. Seger; J. A. Brzozowski — 1994 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications