Boolean Comparison of Hardware and Flowcharts. - Gordon L. Smith; Ralph J. Bahnsen; Harry Halliwell (IBM J. Res. Dev., 1982)