Weak Equivalence in a Class of Structured Program Schemes.

Douglas R. Troeger Weak Equivalence in a Class of Structured Program Schemes. 99-117 1984 29 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss29.html#Troeger84