Development of Boolean calculus and its application
MOIEZ A. TAPIA · NASA STI Repository (National Aeronautics and Space Administration) · 1979
Formal procedures for synthesis of asynchronous sequential system using commercially available edge-sensitive flip-flops are developed. Boolean differential is defined. The exact number of compatible integrals of a Boolean differential were calculated.