Checking Combinational Equivalence of Speed-Independent Circuits Peter A. BeerelJerry R. BurchTeresa H. Meng OriginalPaper Pages: 37 - 85
A Functional Rephrasing of the Assumption/Commitment Specification Style Manfred Broy OriginalPaper Pages: 87 - 119