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

Publiceret: 1998-06-12