Eureka Definitions for Free -- Disagreement Points for Fold/Unfold Transformations (1990)

by H R Nielson, F Nielson
Venue:Proceedings ESOP'90, LNCS 432