M. J. A. Caswell Equivalence of Formal Semantics Definition Methods. 68-77 1997 9 Formal Asp. Comput. 1 db/journals/fac/fac9.html#Caswell97