Colin Stirling A Proof-Theoretic Characterization of Observational Equivalence. 27-45 1985 39 Theor. Comput. Sci. db/journals/tcs/tcs39.html#Stirling85