Pragmatics of Modular SOS (2002)

by P D Mosses
Venue:In Proceedings of AMAST’02, volume 2422 of LNCS