Higher-Order Equational Logic for Specification, Simulation and Testing.

Karl Meinke Higher-Order Equational Logic for Specification, Simulation and Testing. 124-143 1995 conf/hoa/1995 HOA db/conf/hoa/hoa95.html#Meinke95