No. 42 (1998): RS-42 Semantics, Modularity, and Rewriting Logic

Published: 1998-06-12