1. Finite Automata and their Decision Problems;Rabin,1964
2. Sequential Boolean equations;Even;IEEE Trans. Computers,1969
3. Circuit synthesis by solving sequential Boolean equations;Wang;Z. Logik Grundlagen Math.,1959
4. An Improved Upper Bound for the Finite Delay of Graphs;Vilfan,1969
5. I. Golan, “Sequential Boolean Equations Restricted to Regular Events,≓ M. Sc. Thesis, Technion-Israel Institute of Technology, Haifa, Israel.