Pragmatics of modular SOS, in: A.M. Haeberer (Ed (2002)

by P D Mosses
Venue:AMAST’02, Proc. 9th International Conference on Algebraic Methods and Software Technology, LNCS 2422