No. 55 (1999): RS-55 Logical Specification of Operational Semantics

Published: 1999-12-25