Ursula Goltz Roberto Gorrieri Arend Rensink Comparing Syntactic and Semantic Sction Refinement. 118-143 1996 125 Inf. Comput. 2 db/journals/iandc/iandc125.html#GoltzGR96