V. StavridouBooksMathematics of dependable systems IIFormal methods in circuit designMathematics of dependable systemsAssessment of computer-aided logic designAuthor data: Open Library
