The Use of SI-Algebra in the Design of Sequencer Circuits

Mark B. Josephs, Andrew M. Bailey. The Use of SI-Algebra in the Design of Sequencer Circuits. Formal Asp. Comput., 9(4):395-408, 1997.

Abstract

Abstract is missing.