A calculus for sequential logic with 4 values door J.A. Bergstra