Invariance of approximative semantics with respect to program transformations (1981)

by R Giegerich, U Moncke, R Wilhelm